Quantum Circuit Equivalence Checking | State-of-the-Art