Reduce passes over the trace

[amit0365]

We should seek to reduce the number of passes over the trace since this would be a memory bottleneck for larger circuits. Currently, the prover does 3 passes - commit, project, and lift + PCS open