Automated Equivalence Checking Of Quantum Information Systems