Quantum Equivalence Checker