pub fn subproof_verifier(&mut self, subproof_verifier: &'a dyn SubproofVerifier) -> &mut Self {
        self.subproof_verifier = Some(subproof_verifier);
        self
    }
Add a subproof verifier.

The verifier is used to sanity check `verify_sp1_proof` during runtime.
crates/core/executor/src/context.rs