feat: pse evm tests

[jp4g]

Description

Adds simulated EVM unit tests to prove nargo codegen-verifier generated contracts work

• updates to acvm 0.18.1 which is needed because we added an upstream fix to allow circuit in eth_contract_from_vk to get public inputs
• uses new eth_contract_from_vk circuit API to programmatically set number of public inputs

Other notes:

• switches noir fork to https://github.com/mach-34/noir on branch demo-0.1.3 (can merge onto https://github.com/ethan-000/noir but do not have commit rights) since needs ACVM v 0.18.x
• cherry-pick noir-lang/noir@2bc7d25 for noir build since there is no release version of noir that has ACVM v0.18.x without adding breaking changes in the form of new memory opcodes that break translation of noir functions and arrays to halo2

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.