Updates to the conformance test suite #9258

Job	Run time
Code Quality Checks	2m 5s
Code Quality Checks	2m 5s
Version Bump	6s
Version Bump	6s
Unit Tests	1m 57s
Unit Tests	1m 57s
Build and Test KEVM concrete execution	15m 12s
Build and Test KEVM concrete execution	15m 12s
Profiling	2m 34s
Profiling	2m 34s
Nix (normal)	10m 25s
Nix (normal)	10m 25s
Build and Test KEVM proofs (test-prove-kprove, 45)	9m 15s
Build and Test KEVM proofs (test-prove-kprove, 45)	9m 15s
Nix (macos-13)	24m 55s
Nix (macos-13)	24m 55s
Build and Test KEVM proofs (test-prove-pyk, 180)	3h 0m 17s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 25m 33s
Nix (ARM64)	4m 38s
Nix (ARM64)	4m 38s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 34m 1s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 34m 1s
	9h 56m 6s

Provide feedback