Add options classes to KEVM #8586

Job	Run time
Version Bump	14s
Code Quality Checks	1m 44s
Unit Tests	3m 22s
Profiling	3m 58s
Nix (normal)	5m 13s
Nix (macos-13)	23m 7s
Build and Test KEVM concrete execution	30m 46s
Nix (ARM64)	7m 1s
Build and Test KEVM proofs (test-prove-kprove, 45)	13m 42s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 39m 47s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 19m 30s
	4h 28m 24s

Provide feedback