Rafaelha/adjoint gates squin to sim

[rafaelha]

Previously the adjoint of operators were lost in SquinToStimPass. For example,

from bloqade import squin
from bloqade.stim.passes import SquinToStimPass

@squin.kernel
def main():
    q = squin.qalloc(2)
    squin.s_adj(q[0])
    squin.sqrt_x_adj(q[1])

SquinToStimPass(main.dialects)(main)
main.print()

produced

func.func main() -> !py.NoneType {
  ^0(%main_self):
  │ %0 = stim.aux.constant.int 0 : !py.int
  │      stim.gate.S(targets=(%0)){dagger=False : !py.bool}
  │ %1 = stim.aux.constant.int 1 : !py.int
  │      stim.gate.SQRT_X(targets=(%1)){dagger=False : !py.bool}
  │ %2 = func.const.none() : !py.NoneType
  │      func.return %2
} // func.func main

This also lead to incorrect results for u3 gates.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
9461	8359	88%	0%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
src/bloqade/stim/rewrite/qubit_to_stim.py	86%	🟢
TOTAL	86%	🟢

updated for commit: cc7e9d1 by action🐍