chore: simplify and homogenize proving code for Nova and SuperNova proofs #2069

Job	Run time
linux	8m 5s
code-quality / lints	1m 47s
code-quality / msrv	50s
code-quality / wasm-build	1m 1s
licenses-audits / cargo-deny (advisories, licenses, bans, ...)	45s
link-checker / linkChecker	7s
	12m 35s

Provide feedback