Use parallel prover branch #9028

Job	Run time
Code Quality Checks	3m 8s
Code Quality Checks	3m 8s
Version Bump	6s
Version Bump	6s
Profiling	3m 31s
Profiling	3m 31s
Unit Tests	3m 27s
Unit Tests	3m 27s
Build and Test KEVM concrete execution	25m 46s
Build and Test KEVM concrete execution	25m 46s
Build and Test KEVM proofs (test-prove-kprove, 45)	23m 11s
Build and Test KEVM proofs (test-prove-kprove, 45)	23m 11s
Nix (normal)	10m 32s
Nix (normal)	10m 32s
Nix (macos-13)	24m 17s
Nix (macos-13)	24m 17s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 6m 0s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 53m 43s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	58m 56s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	58m 56s
Nix (ARM64)	5m 17s
Nix (ARM64)	5m 17s
	8h 16m 5s

Provide feedback