Automatically check that VERIFY_CHECKs are side effect free#904

sipa wants to merge 5 commits intobitcoin-core:masterbitcoin-core/secp256k1:masterfrom

sipa:202103_prove_no_side_effectsipa/secp256k1:202103_prove_no_side_effectCopy head branch name to clipboard