Error feedback on compile-prover discrepancies #3103

Job	Run time
Build-And-Test-Server (Simple integration tests)	13m 26s
Build-And-Test-Web	4m 32s
Build-And-Test-Server (DEX integration tests)	12m 38s
Build-And-Test-Server (DEX integration test with proofs)	11m 16s
Build-And-Test-Server (Voting integration tests)	6m 7s
Build-And-Test-Server (Unit tests)	29m 45s
Build-And-Test-Server (Verification Key Regression Check)	8m 53s
Build-And-Test-Server (CommonJS test)	2m 22s
Release-on-NPM	0s
Release-mina-signer-on-NPM	0s
	1h 28m 59s

Provide feedback