batch_invert in Solidity

[maramihali]

Consider whether it's a worthwhile optimisation to implement a batch_invert method in Solidity (similar to what we have in C++) if more optimisations to the contract are needed

[ledwards2225]

This is done in the current optimized verifier