epic: ProofMode

[zmalatrax]

Implement the ProofMode

Having the ProofMode integrated means:

• Perform the extra steps (until next power of 2...)
• Layouts (#89) and related checks on builtin units usage, memory usage
• A CLI subcommand to run in ProofMode (#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