Add tests for attempting invalid recursive verification under a predicate.

[TomAFrench]

After #16663 we now inject an explicit predicate for the recursive aggregation opcode.

Should add test programs which run invalid proofs through under a predicate to ensure that an inactive verification is properly turned off in user programs.