✨ Update MQT Core

[burgholzer]

Description

This updates QCEC to use the latest MQT Core package. This includes several improvements in the underlying DD package. Most notably, the limitation on 128 qubits is lifted and the DD package can now natively handle up to 65536 qubits.

Note This just lifts the underlying technical limitation. Performance is not explicitly tuned for these large qubit numbers.

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.

[github-actions[bot]]

Cpp-Linter Report :heavy_check_mark:

No problems need attention.

Have any feedback or feature suggestions? Share it here.

[codecov[bot]]

Codecov Report

Merging #294 (ae6798e) into main (0776067) will not change coverage. The diff coverage is 100.0%.

@@          Coverage Diff          @@
##            main    #294   +/-   ##
=====================================
  Coverage   96.0%   96.0%           
=====================================
  Files         34      34           
  Lines       1720    1720           
  Branches     208     208           
=====================================
  Hits        1652    1652           
  Misses        68      68           

Flag	Coverage Δ
cpp	95.7% <100.0%> (ø)
python	97.1% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

Files Changed	Coverage Δ
include/Configuration.hpp	96.2% <ø> (ø)
include/EquivalenceCheckingManager.hpp	100.0% <100.0%> (ø)
include/checker/dd/DDConstructionChecker.hpp	81.8% <100.0%> (ø)
...dd/applicationscheme/GateCostApplicationScheme.hpp	95.2% <100.0%> (ø)
include/checker/dd/simulation/StateGenerator.hpp	97.2% <100.0%> (ø)
src/checker/dd/DDAlternatingChecker.cpp	89.3% <100.0%> (ø)
src/checker/dd/DDEquivalenceChecker.cpp	91.7% <100.0%> (ø)
src/checker/dd/DDSimulationChecker.cpp	100.0% <100.0%> (ø)