Non-dependence of ECCVM on univariate evals.

[codygunton]

Why were all tests passing before AztecProtocol/aztec-packages#5529?

[iakovenkos]

The tests were passing because the IPA Prover doesn't use the claimed evaluation, the intermittency was likely due to some point at infinity issues. Seemingly, more thorough analysis would be counter-productive at this point, since too many components have changed.