Extend the verifier to validate range metadata on calls and invokes.