⬆️👽 update to latest MQT Core version

[burgholzer]

Description

This PR updates the MQT Core version used in QCEC to the latest version. This includes changes from cda-tum/mqt-core#798.
Algorithms are now constructed slightly differently and some of the methods now take references instead of pointers.

This PR also fixes one compiler warning related to a potential uniniatialized usage in the equivalence checking manager.

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.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 95.5%. Comparing base (c3fbfc2) to head (ad514e6).
Report is 5 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##            main    #534     +/-   ##
=======================================
- Coverage   95.5%   95.5%   -0.1%     
=======================================
  Files         40      40             
  Lines       1838    1840      +2     
  Branches     223     223             
=======================================
+ Hits        1757    1758      +1     
- Misses        81      82      +1     

Flag	Coverage Δ
cpp	96.0% <100.0%> (-0.1%)	⬇️
python	93.7% <ø> (ø)

Files with missing lines	Coverage Δ
include/EquivalenceCheckingManager.hpp	100.0% <100.0%> (ø)
include/checker/dd/TaskManager.hpp	97.2% <100.0%> (ø)
src/checker/dd/simulation/StateGenerator.cpp	94.9% <100.0%> (ø)

... and 2 files with indirect coverage changes