Fix z-correction in some Circuits

[pehamTom]

Description

The previous bug in Z-propagation necessitates the resynthesis of some of the circuits.

Checklist:

• [x] The pull request only contains commits that are related to it.
• [x] I have added appropriate tests and documentation.
• [x] I have made sure that all CI jobs on GitHub pass.
• [x] The pull request introduces no new warnings and follows the project's style guidelines.

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 82.5%. Comparing base (2cb0351) to head (42b840c). Report is 34 commits behind head on main.

Files with missing lines	Patch %	Lines
src/mqt/qecc/ft_stateprep/state_prep.py	0.0%	1 Missing :warning:

Additional details and impacted files

[](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) ```diff @@ Coverage Diff @@ ## main #273 +/- ## ======================================= - Coverage 82.7% 82.5% -0.3% ======================================= Files 46 46 Lines 3978 3988 +10 Branches 353 362 +9 ======================================= - Hits 3292 3291 -1 - Misses 686 697 +11 ``` | [Flag](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | *Carryforward flag | |---|---|---|---| | [cpp](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `82.8% <ø> (-0.6%)` | :arrow_down: | Carriedforward from [af19952](https://app.codecov.io/gh/cda-tum/mqt-qecc/commit/af199523e51cf02711c33c8d5c8d0eecb8dd81d0?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | | [python](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | `82.3% <0.0%> (ø)` | | | *This pull request uses carry forward flags. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) to find out more. | [Files with missing lines](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273?dropdown=coverage&src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum) | Coverage Δ | | |---|---|---| | [src/mqt/qecc/ft\_stateprep/state\_prep.py](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273?src=pr&el=tree&filepath=src%2Fmqt%2Fqecc%2Fft_stateprep%2Fstate_prep.py&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum#diff-c3JjL21xdC9xZWNjL2Z0X3N0YXRlcHJlcC9zdGF0ZV9wcmVwLnB5) | `72.1% <0.0%> (ø)` | | ... and [10 files with indirect coverage changes](https://app.codecov.io/gh/cda-tum/mqt-qecc/pull/273/indirect-changes?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=cda-tum)