Annotating rules that preserve definedness #8192

Job	Run time
Code Quality Checks	1m 17s
Version Bump	13s
Unit Tests	8m 8s
Profiling	5m 16s
Build and Test KEVM concrete execution	33m 21s
Nix (normal)	9m 11s
Nix (macos-13)	34m 15s
Nix (ARM64)	6m 3s
Build and Test KEVM proofs (test-prove-kprove, 45)	18m 0s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 34m 35s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	40m 58s
	4h 11m 17s

Provide feedback