pub fn check(prog: &[u8], config: &Config) -> Result<(), VerifierError>
Check the program against the verifier’s rules