Revert to using Affine formats for commitment/Verification keys

[nikkolasg]

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