Enable IPO / LTO and -O3 #10538

Job	Run time
check-ubuntu-20_04-make-clang-smt-z3	52s
check-ubuntu-20_04-make-gcc	1m 27s
check-ubuntu-20_04-cmake-gcc	7m 7s
check-ubuntu-20_04-make-clang	1m 39s
check-ubuntu-22_04-cmake-gcc	40m 31s
check-ubuntu-22_04-make-clang	31m 50s
check-ubuntu-24_04-cmake-gcc-14	41m 8s
check-macos-13-make-clang	6m 23s
check-string-table	2m 7s
check-macos-14-cmake-clang	3m 4s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	5m 22s
check-ubuntu-20_04-cmake-gcc-THOROUGH	5m 53s
check-ubuntu-22_04-cmake-gcc-32bit	38m 19s
check-vs-2019-cmake-build-and-test	57m 49s
check-vs-2022-make-build-and-test	36m 25s
windows-msi-package	31m 33s
check-docker-image	6m 44s
include-what-you-use	23m 8s
	5h 41m 21s

Provide feedback