epic: ProofMode

[zmalatrax]

Implement the ProofMode

Having the ProofMode integrated means:

• Perform the extra steps (until next power of 2...)
• Layouts (feat: add Layouts #89) and related checks on builtin units usage, memory usage
• A CLI subcommand to run in ProofMode (epic: CLI #83)

The Cairo PIE format could be included in this epic, but better as a follow-up epic imo

### Tasks
- [x] Builtins checks
- [x] Range check usage checks
- [x] Memory usage checks
- [x] runFor method
- [x] compute next power of two
- [ ] AIR public input export
- [ ] AIR private input export