Be stricter about stack shape when converting primitives#21732

SkySkimmer wants to merge 1 commit intorocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:prim-assert-reducedSkySkimmer/rocq:prim-assert-reducedCopy head branch name to clipboard