Quake verification pass

[boschmitt]

Required prerequisites

• [X] Search the issue tracker to check if your feature has already been mentioned or rejected in other issues.

Describe the feature

As mentioned in #302, It would be useful to create a general quake-verify pass for testing purposes. This pass would make sure that the IR has certain properties, e.g., operations having at most two controls (quake-verify{max-controls=2}), or that the kernel does not contain mid-kernel measurements (quake-verify{no-mid-measurements}).

[schweitzpgi]

This sounds like a good idea. I have to say I was a bit confused by the title since there already is a verification pass that can be run on the quake code (and is run after the bridge lowers the kernel code).