Improve options passing and default options handling (do not merge) #8465

Job	Run time
Code Quality Checks	1m 44s
Version Bump	13s
Build and Test KEVM concrete execution	25m 3s
Unit Tests	3m 10s
Build and Test KEVM proofs (test-prove-kprove, 45)	25m 40s
Profiling	2m 44s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 45m 22s
Nix (normal)	12m 37s
Nix (macos-13)	30m 16s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 1m 25s
Nix (ARM64)	6m 57s
	4h 35m 11s

Provide feedback