Lemmas on Boolean reasoning, set reasoning, map lookup #7019

Job	Run time
Version Bump	7s
Code Quality Checks	39s
Profiling	3m 4s
Unit Tests	2m 37s
Build and Test KEVM concrete execution	23m 21s
Build and Test KEVM proofs (test-prove-kprove, 45)	5m 38s
Build and Test KEVM proofs (test-prove-pyk, 120)	6m 17s
Nix (normal)	6m 50s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 90)	7m 24s
Nix (macos-13)	20m 46s
Nix (ARM64)	4m 6s
	1h 20m 49s

Provide feedback