Function verify

pub fn verify<F, Transcript>(
    oracles: &mut MultilinearOracleSet<F>,
    claims: impl IntoIterator<Item = EvalcheckMultilinearClaim<F>>,
    transcript: &mut Transcript,
    advice: &mut AdviceReader,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>
where
    F: TowerField,
    Transcript: CanSample<F> + CanRead,