fix: bug in hugr building when control modifiers are nested

[nicolaassolini-qntm]

close #1537

The bug was in modify_signature: it prepended each accumulated control array with repeated insert(0, ...), which reversed nested control groups. For accumulated controls like [2, 1], the function signature became [array(1), array(2), ...] while the caller and generated unpack nodes expected [array(2), array(1), ...].

I changed it to build the full control prefix once and splice it at the front, preserving accumulation order.

[codecov]

Codecov Report

❌ Patch coverage is 80.00000% with 23 lines in your changes missing coverage. Please review.
✅ Project coverage is 84.03%. Comparing base (54e855f) to head (5da701f).

Files with missing lines	Patch %	Lines
tket/src/modifier/modifier_resolver/call_modify.rs	72.50%	9 Missing and 2 partials ⚠️
tket/src/modifier/modifier_resolver.rs	85.24%	2 Missing and 7 partials ⚠️
tket/src/modifier/control.rs	50.00%	1 Missing ⚠️
tket/src/modifier/dagger.rs	50.00%	1 Missing ⚠️
tket/src/modifier/power.rs	50.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1550      +/-   ##
==========================================
+ Coverage   83.80%   84.03%   +0.22%     
==========================================
  Files         188      188              
  Lines       29035    29101      +66     
  Branches    27931    27997      +66     
==========================================
+ Hits        24334    24455     +121     
+ Misses       3539     3473      -66     
- Partials     1162     1173      +11     

Flag	Coverage Δ
python	92.32% <ø> (ø)
qis-compiler	91.66% <ø> (ø)
rust	83.70% <80.00%> (+0.23%)	⬆️

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[hugrbot]

This PR contains breaking changes to the public Rust API.
Please deprecate the old API instead (if possible), or mark the PR with a ! to indicate a breaking change.

cargo-semver-checks summary

    Building tket v0.18.0 (current)
     Built [  41.736s] (current)
   Parsing tket v0.18.0 (current)
    Parsed [   0.106s] (current)
  Building tket v0.18.0 (baseline)
     Built [  41.561s] (baseline)
   Parsing tket v0.18.0 (baseline)
    Parsed [   0.100s] (baseline)
  Checking tket v0.18.0 -> v0.18.0 (assume minor change)
   Checked [   0.151s] 196 checks: 194 pass, 2 fail, 0 warn, 56 skip

--- failure function_missing: pub fn removed or renamed ---

Description:
A publicly-visible function cannot be imported by its prior path. A `pub use` may have been removed, or the function itself may have been renamed or removed entirely.
      ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
     impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.47.0/src/lints/function_missing.ron

Failed in:
function tket::modifier::modifier_resolver::global_phase_modify::delete_phase, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver/global_phase_modify.rs:106

--- failure inherent_method_missing: pub method removed or renamed ---

Description:
A publicly-visible method or associated fn is no longer available under its prior name. It may have been renamed or removed entirely.
      ref: https://doc.rust-lang.org/cargo/reference/semver.html#item-remove
     impl: https://github.com/obi1kenobi/cargo-semver-checks/tree/v0.47.0/src/lints/inherent_method_missing.ron

Failed in:
ModifierDagger::new, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/dagger.rs:15
ModifierDagger::signature, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/dagger.rs:37
ModifierControl::new, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/control.rs:16
ModifierControl::signature, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/control.rs:27
ModifierResolver::modify_fn_if_needed, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver/dfg_modify.rs:298
ModifierResolver::modify_fn, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver/dfg_modify.rs:317
ModifierResolver::modify_global_phase, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver/global_phase_modify.rs:22
ModifierResolver::modify_tket_op, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver/tket_op_modify.rs:17
ModifierResolver::new, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:331
ModifierResolver::connect_all, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:605
ModifierPower::new, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/power.rs:16
ModifierPower::signature, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/power.rs:39
ModifierResolverErrors::unreachable, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:417
ModifierResolverErrors::unresolvable, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:422
ModifierResolverErrors::unreachable, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:417
ModifierResolverErrors::unresolvable, previously in file /home/runner/work/tket2/tket2/BASELINE_BRANCH/tket/src/modifier/modifier_resolver.rs:422

   Summary semver requires new major version: 2 major and 0 minor checks failed
  Finished [  85.029s] tket
  Building tket-qec v0.1.0 (current)
     Built [  36.407s] (current)
   Parsing tket-qec v0.1.0 (current)
    Parsed [   0.007s] (current)
  Building tket-qec v0.1.0 (baseline)
     Built [  36.400s] (baseline)
   Parsing tket-qec v0.1.0 (baseline)
    Parsed [   0.007s] (baseline)
  Checking tket-qec v0.1.0 -> v0.1.0 (assume minor change)
   Checked [   0.015s] 196 checks: 196 pass, 56 skip
   Summary no semver update required
  Finished [  74.219s] tket-qec
  Building tket-qsystem v0.24.0 (current)
     Built [  43.210s] (current)
   Parsing tket-qsystem v0.24.0 (current)
    Parsed [   0.028s] (current)
  Building tket-qsystem v0.24.0 (baseline)
     Built [  42.963s] (baseline)
   Parsing tket-qsystem v0.24.0 (baseline)
    Parsed [   0.027s] (baseline)
  Checking tket-qsystem v0.24.0 -> v0.24.0 (assume minor change)
   Checked [   0.065s] 196 checks: 196 pass, 56 skip
   Summary no semver update required
  Finished [  87.845s] tket-qsystem