Function incrementally_verify_proof

fn incrementally_verify_proof(
    params: IncrementallyVerifyProofParams<'_>,
    w: &mut Witness<Fp>,
) -> Result<(Fp, (Boolean, Vec<Fp>))>