Rebase all tket1 operations to H-series

[ss2165]

Following on from #490

Eldarion and downwards expect quantum operations to be in H-series gateset (phasedX, ZZMax, ZZPhase, Rz, TK2). Currently you can program in guppy in this set and everything works. Users will want to use more familiar gates, so ideally we should allow them to program using all the standard gates from TKET1.

• For all tket1 ops, ask tket1 to rebase to CX, TK1 (maybe TK2, TK1). If unparametrised, convert to HUGR and store.
• If parametrised, attempt to convert resulting symbolic expressions (automatically or by hand if simple enough).
• Any where conversion wasn't possible, mark as unsupported.
• Add lowering HUGRs from standard gates (CX, TK1) to H-series gate set.
• Use hard coded circuits + standard set lowering to do multi-stage rebasing by replacing ops.