Function check_proof 

pub fn check_proof<H>(
    verifier: &Verifier<H>,
    witness: &ValueVec,
    proof_bytes: Vec<u8>,
) -> Result<()>
where
    H: ParallelHashSuite,
    Output<H::LeafHash>: SerializeBytes + DeserializeBytes,

Verify a proof given its raw transcript bytes.