gas calculations and 4337 specs validation

[kopy-kat]

Allows dev to pass flag in order to validate the ERC-4337 specs of their UserOps (eg SIMULATE=true forge test)

Todo:

• [ ] Banned opcodes
• [x] Banned storage locations
• [x] Disallowed calls
• [x] Disallowed use of EXT* opcodes
• [x] Disallowed use CREATE opcode