✨ Adjust optimization passes for parameterized circuits

[pehamTom]

What's the problem this feature will solve?

At the moment, some preprocessing optimization passes fail when dealing with QuantumComputations involving SymbolicOperations. Many (if not all) of the optimization passes do not require the circuit to consist entirely of non-symbolic operations (like SWAP reconstruction).

Describe the solution you'd like

When checking parameterized circuits for equivalence, optimization passes should be transparently applied just like with non-parameterized circuits. This requires minor adjustments in the respective optimization passes.

[burgholzer]

Just for reference: cda-tum/mqt-core#205 tracks the corresponding feature in the QFR where the optimization passes reside.