Disable legacy tests, enable more booster tests #8016

Job	Run time
Version Bump	18s
Code Quality Checks	2m 35s
Build and Test KEVM concrete execution	25m 18s
Profiling	4m 50s
Unit Tests	3m 5s
Build and Test KEVM proofs (test-prove-kprove, 45)	15m 20s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 41m 58s
Nix (normal)	12m 59s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	2h 30m 15s
Nix (macos-13)	30m 44s
Nix (ARM64)	5m 0s
	5h 52m 22s

Provide feedback