Adjoint lowering pass can handle control flow with arbitrary quantum operands

[paul0403]

Context:
Recently we extended the quantum.adjoint operation to handle arbitrary quantum operand structures (as opposed to being restricted to have a single qreg arg) #2590

In adjoint lowering pass, when the adjoint region contains other control flow regions, the code is still assuming the control flow regions have a single qreg argument (at index 0).

Description of the Change:
Update adjoint lowering pass's control flow part to deal with arbitrary quantum operand structure.

Benefits:
Adjoint lowering pass works with more general programs.
In particular, those generated by the ref-to-value semantics conversion will in general have unconstrained quantum operand structures on control flow ops.

[rniczh]

Nice work 💯 ! Would you have a chance to add a test for this improvement?

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.01%. Comparing base (f1054e9) to head (8557212).

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2868   +/-   ##
=======================================
  Coverage   97.01%   97.01%           
=======================================
  Files         167      167           
  Lines       18807    18807           
  Branches     1768     1768           
=======================================
  Hits        18245    18245           
  Misses        417      417           
  Partials      145      145           

☔ 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.

[rniczh]

💯

[mehrdad2m]

Looks good! just a minor comment.