Cleanup proof test-suites #9446

Job	Run time
Code Quality Checks	1m 55s
Version Bump	6s
Profiling	2m 15s
Build and Test KEVM proofs (test-prove-kprove, 45)	21m 42s
Unit Tests	1m 50s
Build and Test KEVM proofs (test-prove-pyk, --no-use-booster, 180)	1h 16m 11s
Nix (normal)	9m 27s
Build and Test KEVM proofs (test-prove-pyk, 150)	1h 55m 28s
Build and Test KEVM concrete execution	10m 52s
Nix (macos-13)	21m 58s
Build and Test KEVM proofs (test-prove-pyk, --use-booster-dev, 45)	23m 9s
Nix (ARM64)	4m 37s
	4h 49m 30s

Provide feedback