refactor!: set defaults for most flags (#653) #1

Job	Run time
docs	4m 12s
build	4m 45s
accuracy-measurement-tests	1s
library-tests	1s
mock-proving-tests	1s
model-serialization	1s
prove-and-verify-aggr-tests-gpu	1s
prove-and-verify-tests-gpu	1s
python-integration-tests	1s
ultra-overflow-tests	1s
ultra-overflow-tests_og-lookup	1s
ultra-overflow-tests-gpu	1s
wasm32-tests	5m 32s
tutorial	0s
prove-and-verify-mock-aggr-tests	0s
prove-and-verify-evm-tests	0s
python-tests	0s
prove-and-verify-tests	0s
examples	0s
fuzz-tests	0s
prove-and-verify-aggr-tests	0s
prove-and-verify-aggr-evm-tests	0s
	14m 39s

Provide feedback