⬆️ update mqt-core

[burgholzer]

Description

This PR updates QCEC with the latest changes from MQT Core.
It also contains a small configuration tweak for the noxfile.

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.4%. Comparing base (0d0121b) to head (d068f22).
Report is 1 commits behind head on main.

Additional details and impacted files

@@          Coverage Diff          @@
##            main    #460   +/-   ##
=====================================
  Coverage   95.4%   95.4%           
=====================================
  Files         40      40           
  Lines       1836    1834    -2     
  Branches     223     223           
=====================================
- Hits        1752    1751    -1     
+ Misses        84      83    -1     

Flag	Coverage Δ
cpp	95.9% <100.0%> (+<0.1%)	⬆️
python	93.7% <ø> (ø)

Files with missing lines	Coverage Δ
src/EquivalenceCheckingManager.cpp	93.1% <100.0%> (-0.1%)	⬇️

... and 1 file with indirect coverage changes