Refactor circuit generation for benchmarking

[winston-h-zhang]

This benchmark is not benchmarking what it claims to right now, I think. get_evaluation_frames doesn't actually synthesize the circuits. I may be misunderstanding though, and I'd like to have a better idea of what's going on in these steps. However, I'm a bit stuck since it looks like the synthesis/proving is happening at the same time? What should be done here?

Originally posted by @winston-h-zhang in #380 (comment)

[huitseeker]

@porcuquine Would appreciate you having a look at the commented code in #380:
https://github.com/lurk-lab/lurk-rs/pull/380/files#r1185193258
and adding your thoughts on the best way to proceed here.

[huitseeker]

@winston-h-zhang this should be made obsolete by our synthesis bench, I think?

[huitseeker]

Closed in #415