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

Job	Run time
linux	6m 55s
code-quality / wasm-build	2m 33s
code-quality / lints	4m 46s
code-quality / msrv	4m 29s
licenses-audits / cargo-deny (advisories, licenses, bans, ...)	53s
link-checker / linkChecker	5s
	19m 41s

Provide feedback