chore: optimized release builds by default #4175

Job	Run time
build	4m 58s
library-tests	3m 40s
docs	5m 13s
model-serialization	3m 17s
prove-and-verify-aggr-tests-gpu	1m 36s
python-integration-tests	1h 32m 31s
ultra-overflow-tests	10m 14s
ultra-overflow-tests_og-lookup	10m 20s
ultra-overflow-tests-gpu	4m 1s
examples	11m 38s
python-tests	20m 23s
prove-and-verify-tests	2h 22m 39s
wasm32-tests	8m 19s
tutorial	14m 44s
mock-proving-tests	26m 18s
prove-and-verify-aggr-evm-tests	39m 41s
prove-and-verify-aggr-tests	42m 42s
prove-and-verify-evm-tests	1h 29m 46s
accuracy-measurement-tests	37m 5s
prove-and-verify-mock-aggr-tests	17m 12s
	9h 46m 17s

Provide feedback