feat: Add bindings for tket1-passes from python

[aborgna-q]

Adds some pass definitions to tket.passes:

• normalize_guppy(Tk2Circuit, ...) -> Tk2Circuit
• clifford_simp(Tk2Circuit, *, allow_swaps = True, traverse_subcircuits = True) -> Tk2Circuit
• squash_phased_rz(Tk2Circuit, *, traverse_subcircuits = True) -> Tk2Circuit

The last two use the new bridge to the old tket C++ codebase to run optimisation on regions of the hugr.

The API here not too ergonomic, we just expose it as a MVP while working on the API refresh.

To call this from a guppy program output, we'll need to convert the hugr to the rust representation and back,

from guppylang import guppy
from guppylang.std.angles import angle
from guppylang.std.builtins import result
from guppylang.std.quantum import h, rx, rz, measure, qubit
from hugr import Hugr
from tket.circuit import Tk2Circuit
from tket.passes import normalize_guppy, squash_phasedx_rz

@guppy
def main() -> None:
    q = qubit()

    rz(q, angle(0.1))
    h(q)
    rx(q, angle(-0.1))
    h(q)

    b = measure(q)
    result("b", b)

program = main.compile()
compiler_state = Tk2Circuit.from_bytes(program.to_bytes())
compiler_state = normalize_guppy(compiler_state)
compiler_state = squash_phasedx_rz(compiler_state)
hugr = Hugr.from_str(compiler_state.to_str())
print(hugr.render_dot())

drive-by: Add Tk2Circuit.render_mermaid method

BEGIN_COMMIT_OVERRIDE

feat: Add bindings for tket1-passes from python (#1225)

END_COMMIT_OVERRIDE

[codecov]

Codecov Report

❌ Patch coverage is 0% with 7 lines in your changes missing coverage. Please review.
✅ Project coverage is 78.58%. Comparing base (5a458cf) to head (6c99879).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
tket1-passes/src/lib.rs	0.00%	7 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1225      +/-   ##
==========================================
- Coverage   78.61%   78.58%   -0.03%     
==========================================
  Files         159      159              
  Lines       20184    20191       +7     
  Branches    19082    19089       +7     
==========================================
  Hits        15868    15868              
- Misses       3345     3352       +7     
  Partials      971      971              

Flag	Coverage Δ
python	92.65% <ø> (ø)
qis-compiler	68.40% <ø> (ø)
rust	78.20% <0.00%> (-0.03%)	⬇️

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.

[cqc-alec]

I suggest making all the parameter names match these names? If we extend them in future it could make things a bit easier.

[aborgna-q]

We only call clifford_simp with target_gate = CX for now.

We don't have a tket optype with both CX and TK2 variants, but if we really wanted to have this we could either accept a string or a pytket optype and convert it.