pub fn verify_sp1_proof(vk_digest: &[u32; 8], pv_digest: &[u8; 32]) {
    unsafe {
        syscall_verify_sp1_proof(vk_digest, pv_digest);
    }
}
Verifies the next proof in the proof input stream given a verification key digest and public
values digest. If the proof is invalid, the function will panic.

Enable this function by adding the `verify` feature to both the `sp1-lib` AND `sp1-zkvm` crates.
crates/zkvm/lib/src/verify.rs