Symbolic Reasoning About Quantum Circuits in Coq