In particular, everything in the "Clifford Subcircuit" boxes should be simulable in `QermitPauli.apply_gate`.