feat: add Proof Mode Loop and Cells Checks

[zmalatrax]

• Implement the loop which executes steps until reaching the next power of two.
• Implement the cells checks on builtins and memory usage which is used as a flag whether to continue the proof mode infinite loop.