Partially revert #2427 #9263

Job	Run time
Version Bump	7s
Version Bump	7s
Code Quality Checks	2m 15s
Code Quality Checks	2m 15s
Unit Tests	2m 0s
Unit Tests	2m 0s
Profiling	2m 14s
Profiling	2m 14s
Build and Test KEVM proofs (test-prove-kprove, 45)	10m 47s
Build and Test KEVM proofs (test-prove-kprove, 45)	10m 47s
Nix (normal)	7m 52s
Nix (normal)	7m 52s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 28m 15s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 28m 15s
Build and Test KEVM concrete execution	23m 53s
Build and Test KEVM concrete execution	23m 53s
Nix (macos-13)	25m 0s
Nix (macos-13)	25m 0s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 46m 1s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	54m 40s
Nix (ARM64)	5m 46s
Nix (ARM64)	5m 46s
	8h 16m 59s

Provide feedback