Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation