Run_stage function in ProverState
run_stage function is called in prove function, prover.

it takes a stage as input, as stage is defined as:

AirStage is defined as

it seems to have all the info to run a stage
back to the first picture,

stage0 is like this
