Add option to `Backend.get_compiled_circuit()` to check backend predicates after compilation and fail if any are false

[cqc-alec]

[CalMacCQ]

Could this be a Boolean flag? i.e

Backend.get_compiled_circuit(check_predicates=True)

Or maybe just give a warning saying that not all predicates are satisfied and specifying which one?

[cqc-alec]

I think a boolean flag, but defaulting to False (for backwards-compatibility).

[CalMacCQ]

I think a warning could also be informative here.

If your compiled circuit is invalid - it's probably useful to know which predicates are not satisfied.

[github-actions[bot]]

This issue has been automatically marked as stale.