Description

Fixes #508

This PR updates MQT Core with the fix from cda-tum/mqt-core#758.

Unfortunately, this does not yet fully address the underlying issue in the ZX checkers capabilities of handling ancillaries. See the regression tests and the corresponding CI failures:

• the first C++ test, which previously segfaulted, now returns equivalent, while all other checkers agree that the two circuits are not equivalent.
• the second C++ test is a full C++ reproducer of the failing Python test. This test segfaults due to a map out of range error.
• the Python test is adapted from 🐛 Partial equivalence with ancillary qubits #508

Note the first two tests fail for separate reasons, which means there are multiple things going wrong here.

Checklist:

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