Inherits Reference < Object
This verifier is the memory-safety gate: code generation must never see a function that has not passed every check here.