MSM Optimizations

[MauroToscano]

trafficstars

There are a series of optimizations that can be applied to MSM that are not leveraged right now. The following can be implemented and benched, with the fastest setted to be used as the default one:

• [ ] Constantine tricks for high core machines, see their #277, code, and docs. Also the following gist. This related halo2 issue can also be helpful
• [ ] Faster Batch forgery Identification algorithm. Implementation of Gnark

[rahulghangas]

@MauroToscano we would like to contribute some optimization to MSM implementation based on SOA (@Strohy will be working on this). Is it okay we open up a couple of PRs?