Black and whitelist proofs

[Brandhoej]

It would be awesome if I could white or blacklist specific proofs which can be applied for the generated queries. This would enable debugging of backends based on specific proofs and can also be used to limit the complexity of some of the queries. The optimal solution would be to allow a blacklist and whitelist as an option (It only makes sense to allow one at the time) where i can specify from a list of proofs which ones should be blacklisted or whitelisted.