Support cutting decomposition

[rafaelha]

Some interesting considerations

• Cutting decomposition can be expressed using parametrized diagrams to makes things faster
• I believe good cuts are performed before full_reduce
• Might have to define some kind of API to let users make cuts

References:
(2024) Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation
(2024) Smarter k-Partitioning of ZX-Diagrams for Improved Quantum Circuit Simulation
(2025) How to simulate magic state cultivation with around 8 Clifford terms on average