Complete folding steps in the impl

[CPerezz]

This includes:

• [ ] Compute gamma and beta from the transcript
• [ ] Compute step 3 (Sumcheck Proof) inside of the folding fn in NIMFS.
• [ ] Put the steps of folding in the right order

[ameya-deshmukh]

@CPerezz can I help out in some way with this? Would love to give it a go

[CPerezz]

I'll be busy until next week minimum. So definitely give it a try!!!!