Backport three rocqchk fixes (vm_caml_prim arity, -norec validation order, VM bytecode trust) - #9

Backport three rocqchk fixes (vm_caml_prim arity, -norec validation order, VM bytecode trust)#9

archanaburra merged 4 commits into

v9.2+typewise-isomorphism-stabletheorem-labs/rocq:v9.2+typewise-isomorphism-stablefrom

backport/checker-vm-and-validation-v9.2-stabletheorem-labs/rocq:backport/checker-vm-and-validation-v9.2-stableCopy head branch name to clipboard