Add method to passes returning operations in gateset predicate

[daniel-mills-cqc]

At present extracting the gate set a compiler pass can handle is quite manual. This list is only revealed by the exception raised when the gate set predicate is not met. It would be great to be able to extract the operations supported. The main use case here is to construct from that list a rebase pass which can be applied before the pass itself.
Relates to discussion here -> https://cambridgequantum.slack.com/archives/CTAQUR7M0/p1730193783655379