Cleanups to specifications to enable modularity, re-provability #9367

Job	Run time
Version Bump	7s
Code Quality Checks	2m 1s
Build and Test KEVM proofs (test-prove-kprove, 45)	8m 35s
Nix (normal)	10m 6s
Profiling	2m 26s
Unit Tests	1m 55s
Build and Test KEVM proofs (test-prove-pyk, --no-use-booster, 180)	1h 9m 20s
Build and Test KEVM proofs (test-prove-pyk, 150)	1h 41m 12s
Nix (macos-13)	26m 3s
Build and Test KEVM concrete execution	17m 15s
Nix (ARM64)	4m 49s
	4h 3m 49s

Provide feedback