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

Job	Run time
linux	7m 18s
code-quality / lints	2m 19s
code-quality / msrv	1m 15s
code-quality / wasm-build	1m 15s
licenses-audits / cargo-deny (advisories, licenses, bans, ...)	52s
link-checker / linkChecker	6s
	13m 5s

Provide feedback