Simulations for the system instructions

Add simulations for the system instructions in https://github.com/ethereum/execution-specs/blob/master/src/ethereum/paris/vm/instructions/system.py There are many dependencies that can be axiomatized.

- [ ] generic_create
- [ ] create
- [ ] create2
- [ ] return_
- [ ] generic_call
- [ ] call
- [ ] callcode
- [ ] selfdestruct
- [ ] delegatecall
- [ ] staticcall
- [ ] revert