Revert to using Affine formats for commitment/Verification keys

Basically anywhere where we do MSM with a key that the verifier/prover must load before doing its stuff should be in Affine format to avoid the `batch_normalize()`calls. One [example](https://github.com/cryptonetlab/testudo/blob/snarkpack-integration/src/dense_mlpoly.rs#L207)