Implement View and DeepView for Option<T> (#1389) #6369

Job	Run time
smoke-test-and-release-macos-x86	12m 50s
fmt	1m 10s
smoke-test-and-release-linux	6m 28s
smoke-test-and-release-windows	7m 49s
test-and-release-macos	12m 19s
test-and-release-macos (record-history)	3m 41s
test-and-release-macos (no-std)	2m 43s
test-and-release-macos (no-alloc)	2m 57s
test-and-release-macos (singular)	3m 44s
test-and-release-macos (cvc5)	2m 45s
release	13s
	56m 39s

Provide feedback