public-vm(simulator): VM simulation of hash / elliptic curve operations

[Maddiaa0]

Overview

Specialised operations, referred to as "nasty" operations internally, describe operations that are too expensive to prove as a combination of other opcodes.
For example, to prove a keccak hash, it would require an extreme number of arithmetic and bitwise operations; leading to a blowup in codesize and prover rows.
These operations can be turned into vm opcodes to solve the code size problem.

In this pr, implement opcodes for:

• Keccak
• Poseidon 2 - see master...pw/indexed-tree-performance

Links

[dbanks12]

Might need to support all/most Noir BB functions

[Maddiaa0]

Waiting for poseidon work from phil