[EPIC] Misc AVM tasks

[dbanks12]

Tasks

Preview Give feedback

1. Simulator & witgen properly handle calls to contracts that don't exist #10044
   3 of 3
   +0
   
2. DEBUGLOG: removing dynamic gas and adding a flag to switch off the log in PROD environment
3. revert opcode: remove the return based implementation and use selector sel_op_external_revert #9896
   C-avm +1
4. AVM witgen supports recoverable reverts (should never really fail an assertion...) #9497
   C-avm +1
   
5. Exceptional halts in the simulator add revertData (enshrined error selector) - also circuit work
6. Remove AVM simulator dependency cycle between avm_memory_types.ts and addressing_mode.ts
7. Constrain that AVM allocates itself l2 start gas of min(gas_limit, MAX_PER_TX)
8. AVM Testnet: Integrate base rollup with a fake avm recursive verifier #10243
   C-avm +1
   
9. witgen should test tree-access opcodes
10. witgen should test limits/maximums (for ops like sstore)
11. AVM Circuit Gas #6764
    5 of 7
    C-avm T-tracking +2
    
12. Create simulator test of for fix: properly trace storage reads to slots never written before in AVM #10560
13. Spike: why are multiple AVM hints being generated for a single contract address/instance? #11065
    C-avm T-question +2
14. witgen should test multiple enqueued calls, phases & nested calls
15. witgen should test nested calls