Integrate ZX circuit simplification

[dakk]

Integrate in QCircuit a new function called zx_simplify that call zx.simplify.full_reduce(circuit) on pyzx and return a simplified QCircuit.

After that, we need to extend the test suite for benchmarking all the test with and without this feature.

Useful links:

• https://pyzx.readthedocs.io/en/latest/representations.html