Mqt.qcec

This release adds a couple of minor new features and fixes. In particular:
- ✨/🐛 ancillary registers and c3x/c4x gates are now supported in Qiskit `QuantumCircuit` objects
- ⚡ `-march=native -mtune=native` is actually enabled for source builds via pip
- ⚡ setup.py now runs on as many threads as available
- 🚀 added Python 3.10 wheels
- 📝 updated documentation

A lot of (mostly minor) updates have happened since the last QCEC release. This minor release brings QCEC up-to-date. For a detailed list of changes, see (8).

With this release, we additionally provide Python wheels for Apple Silicon.

This minor release enables the new *sorted buckets* feature of the DDPackage submodule which should increase performance across the board.

This release adapts the QCEC library to work with the new JKQ DD Package version released recently.
Performance of all decision diagram-based routines is expected to improve (especially those based on simulation).

✨ dynamic DD package size
✨ separate VectorDD and MatrixDD classes
⚡ improved garbage collection
⚡ improved memory allocation
⚡ improved hashing
🔥 removed line
🔥 validInstance removed as such errors are now captured at the QFR level

This release acts as a tag for the last version of the JKQ QCEC repository that uses the old JKQ DD Package.
Future releases will use JKQ DD Package version 2.0 and higher.

Major refactoring for future developments

- Python bindings now expose more of the underlying library (Configuration, Results, etc.):
python
from jkq.qcec import *

config = Configuration()
<...> set configuration options
results = verify(circ1, circ2, config)

- In analogy to the research, the following methods (`config.method`) can now be configured:
- `reference`
- `G_I_Gp` (*default*)
- `simulation`
- The following strategies (`config.strategy`) are available for the  method:
- `naive`
- `proportional` (*default*)
- `lookahead`
- `compilationflow`
- The following types of stimuli (`config.stimuli_type`) are available for the simulation-based method:
- `classical` (*default*)
- `localquantum`
- `globalquantum`
- `verify()` now returns a `Results` instance instead of internally storing the result
- Printing of JSON (`results.json()`) or CSV information (`results.csv()`) is laid off to the `results` object of the equivalence check
- Runtime information is split into preprocessing and verification time
- Single-qubit gate fusion and SWAP reconstruction are enabled per default
- Statistics are included in the results per default