Equivalence Checking of Dynamic Quantum Circuits