refactor: Clean up `gnark` folder

[ratankaliani]

Clean up the usage of generating Groth16 proofs, relocate some types & move utils into the sp1 package.

Context: https://github.com/succinctlabs/sp1/pull/631 left the gnark folder in a somewhat messy state.