Optimised verifier contract

[maramihali]

The existing version of the contract is a direct translation in Solidity of our C++ code. We want to optimise this to get the cost o verification down to ~1mil gas.
@Maddiaa0 has a draft PR achieving this:
AztecProtocol/aztec-packages#8690

Thread of discussion of timelines:
https://aztecprotocol.slack.com/archives/C01CGB1KUN4/p1743616766781379

[ledwards2225]

Completed with a recent series of work from @Maddiaa0