Add options classes to KEVM #8661

Job	Run time
Version Bump	20s
Code Quality Checks	3m 5s
Unit Tests	5m 0s
Profiling	6m 33s
Nix (normal)	8m 1s
Build and Test KEVM concrete execution	31m 7s
Nix (macos-13)	35m 5s
Nix (ARM64)	5m 9s
Build and Test KEVM proofs (test-prove-kprove, 45)	22m 1s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 18m 37s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	45m 57s
	4h 0m 55s

Provide feedback