Function risc0_zkvm::receipt::verify_with_hal

pub fn verify_with_hal<H, M>(
    hal: &H,
    method_id: M,
    seal: &[u32],
    journal: &[u32]
) -> Result<()>where
    H: VerifyHal,
    MethodId: From<M>,