New pass combining `ZXGraphlikeOptimisation` with `GreedyPauliSimp`

[cqc-alec]

@yoshi-qc has found in some experiments with pytket-quantinuum that applying the default level 2 pass followed by ZXGraphlikeOptimisation followed by the default level 3 pass (essentially GreedyPauliSimp) can produce dramatic reductions in circuit depth. We should investigate this further and perhaps wrap up a suitable sequence of passes as a new named pass in tket. (This could potentially also be used as a new default backend compilation pass.)