[EPIC] AVM simulator & witgen track gas, enforce limits, and handle errors identically

[dbanks12]

Tasks

Preview Give feedback

1. feat: new per-enqueued-call gas limit #9033
   +0
2. charge reasonable L2 gas per AVM opcode #5005
   +0
3. Assign L2 and DA gas costs to all opcodes
4. Tweak AVM instantiation cost (factor in cost of recursive verification)
5. Tweak gas costs: gas should be a proxy for trace length and limit should prevent trace overflows #10368
   C-avm +1
   
6. Witgen should enforce limits on number of side effects created #10375
   +0
   
7. Max gas limit should be per-TX, not per-enqueued-call #10046
   +0
   
8. Limit number of contract calls & enqueued calls to unique contracts #10369
   +0
   
9. Exceptional halts consume remaining gas in witgen #10374
   +0
   
10. Fix incorrect memory size limit in AVM simulator or align witgen #10370
    C-avm +1
    
11. Contract deployment should check membership of contract class ID #10832
    +0
12. AVM witgen handles "out of gas" errors #10033
    C-avm +1
    
13. chore!: lower public tx gas limit to 6M #10635
    +0
14. Simulator & witgen properly handle calls to contracts that don't exist #10044
    3 of 3
    +0