Optimize the Bulletproofs+ prover

[kayabaNerve]

We currently have circuit baking, yet only for the verifier. Ideally, we also bake the prover somehow. It also is just probably full of general inefficiencies due to neglect.