✨ Implement Aaronson-Gottesmann Canonical Form Synthesis

[pehamTom]

What's the problem this feature will solve?

At the moment the heuristic synthesizer for Clifford circuits can only be called with a given given circuit. It would be nice if tableaus could also be synthesized with the heuristic.

Describe the solution you'd like

If only a tableau is given as an input to the synthesis, a non-optimal circuit should be synthesized with the AG algorithm before handing the circuit over to the heuristic optimizer.