🐛 Fix dynamic circuit detection

[burgholzer]

Description

The previous implementation of the isDynamicCircuit check would falsely report a circuit to not be dynamic if the circuit contains multiple measurements on one qubit.
This PR fixes the underlying error and refactors the logic of the respective method to handle more cases.

This was discovered while working on cda-tum/mqt-qcec#439

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

Attention: Patch coverage is 84.37500% with 5 lines in your changes missing coverage. Please review.

Project coverage is 87.1%. Comparing base (738d181) to head (1a30ac3).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
src/circuit_optimizer/CircuitOptimizer.cpp	84.3%	5 Missing ⚠️

Additional details and impacted files

@@          Coverage Diff          @@
##            main    #687   +/-   ##
=====================================
  Coverage   87.1%   87.1%           
=====================================
  Files        125     125           
  Lines      13781   13769   -12     
  Branches    2164    2156    -8     
=====================================
- Hits       12005   12003    -2     
+ Misses      1776    1766   -10     

Flag	Coverage Δ
cpp	86.7% <84.3%> (+<0.1%)	⬆️
python	99.7% <ø> (ø)

Files with missing lines	Coverage Δ
src/circuit_optimizer/CircuitOptimizer.cpp	88.6% <84.3%> (+0.7%)	⬆️

... and 1 file with indirect coverage changes