Add saturate_add && option::map (#1326) #6080

Job	Run time
fmt	58s
smoke-test-and-release-linux	6m 28s
smoke-test-and-release-windows	8m 24s
smoke-test-and-release-macos-x86	10m 59s
test-and-release-macos	10m 57s
test-and-release-macos (record-history)	4m 1s
test-and-release-macos (no-std)	2m 29s
test-and-release-macos (no-alloc)	2m 28s
test-and-release-macos (singular)	3m 59s
test-and-release-macos (cvc5)	2m 47s
release	11s
	53m 41s

Provide feedback