Update mina to contain explicit prover randomness (compatible) #4553

Job	Run time
Prepare	1m 13s
Build-And-Test-Web	3m 52s
Build-And-Test-Server (Simple integration tests)	44m 29s
Run unit tests parallel (1)	55s
Build-And-Test-Server (Reducer integration tests)	15m 38s
Run unit tests parallel (2)	27m 14s
Build-And-Test-Server (DEX integration tests)	17m 30s
Run unit tests parallel (3)	5m 48s
Build-And-Test-Server (DEX integration test with proofs)	16m 31s
Run unit tests parallel (4)	20m 22s
Build-And-Test-Server (Voting integration tests)	6m 21s
Run unit tests parallel (5)	13m 7s
Build-And-Test-Server (Verification Key Regression Check 1)	33m 42s
Build-And-Test-Server (Verification Key Regression Check 2)	50m 45s
Run unit tests parallel (6)	6m 11s
Build-And-Test-Server (CommonJS test)	1m 37s
Run unit tests parallel (7)	15m 16s
Run unit tests parallel (8)	2m 27s
Build-And-Test-Server (Unit tests)	1s
Release-on-NPM	0s
Release-mina-signer-on-NPM	0s
	4h 42m 59s

Provide feedback