Add options classes to KEVM #8611

Job	Run time
Code Quality Checks	1m 25s
Version Bump	15s
Build and Test KEVM concrete execution	22m 0s
Unit Tests	2m 43s
Build and Test KEVM proofs (test-prove-kprove, 45)	26m 1s
Profiling	2m 56s
Build and Test KEVM proofs (test-prove-pyk, 180)	2h 6m 22s
Nix (normal)	10m 53s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 10m 41s
Nix (macos-13)	24m 38s
Nix (ARM64)	7m 56s
	4h 55m 50s

Provide feedback