Be stricter with side effects in VERIFY#1485

real-or-random wants to merge 1 commit intobitcoin-core:masterbitcoin-core/secp256k1:masterfrom

real-or-random:202401-i-side-effectreal-or-random/secp256k1:202401-i-side-effectCopy head branch name to clipboard