remove default values from argparse #9354

Job	Run time
Code Quality Checks	1m 58s
Code Quality Checks	1m 58s
Version Bump	6s
Version Bump	6s
Profiling	2m 5s
Profiling	2m 5s
Build and Test KEVM concrete execution	15m 39s
Build and Test KEVM concrete execution	15m 39s
Unit Tests	2m 3s
Unit Tests	2m 3s
Nix (normal)	8m 6s
Nix (normal)	8m 6s
Nix (macos-13)	25m 15s
Nix (macos-13)	25m 15s
Nix (ARM64)	5m 48s
Nix (ARM64)	5m 48s
Build and Test KEVM proofs (test-prove-kprove, 45)	1s
Build and Test KEVM proofs (test-prove-kprove, 45)	9m 48s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 2m 13s
Build and Test KEVM proofs (test-prove-pyk, 180)	1h 2m 13s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 8m 35s
Build and Test KEVM proofs (test-prove-pyk, --use-booster, 150)	1h 8m 35s
	6h 33m 25s

Provide feedback