Function verify_unrolled_proof 

pub fn verify_unrolled_proof(
    proof: &UnrolledProgramProof,
    vk: &UnrolledVk,
    level: ProverLevel,
    expected_app_bin_hash: Option<[u8; 32]>,
    expected_output: Option<&dyn Commit>,
) -> Result<()>