optimization: address redundant `synthesize` calls on `prove_step`

[Autoparallel]

Idea

When we are using this, synthesize is creating a whole constraint system from a given circuit each time. Rather, we should cache the un-populated constraint system and then only populate a witness on each prove_step.