Optimization of Quantum Circuits for Stabilizer Codes | Synapse