Remove all references to optionalt #9208

Job	Run time
check-ubuntu-20_04-cmake-gcc	21m 9s
check-ubuntu-20_04-make-clang-smt-z3	4m 35s
check-ubuntu-20_04-make-gcc	23m 37s
check-macos-11-make-clang	30m 57s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	4m 51s
check-ubuntu-20_04-cmake-gcc-THOROUGH	9m 9s
check-ubuntu-22_04-cmake-gcc	6m 23s
check-ubuntu-22_04-cmake-gcc-13	46s
check-ubuntu-22_04-cmake-gcc-32bit	4m 15s
check-ubuntu-22_04-make-clang	5m 4s
check-docker-image	19m 53s
check-macos-12-cmake-clang	50m 45s
check-string-table	2m 32s
check-ubuntu-20_04-make-clang	22m 53s
check-vs-2019-cmake-build-and-test	5m 53s
check-vs-2022-make-build-and-test	6m 57s
codecov-coverage-report	43m 29s
include-what-you-use	26m 50s
windows-msi-package	7m 9s
	4h 57m 7s

Provide feedback