Run again tests with new default checks #9297

Job	Run time
check-macos-11-make-clang	7m 29s
check-ubuntu-20_04-cmake-gcc	6h 0m 16s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	2m 17s
check-ubuntu-20_04-cmake-gcc-THOROUGH	10m 34s
check-ubuntu-20_04-make-clang	22m 57s
check-ubuntu-20_04-make-clang-smt-z3	3m 35s
check-ubuntu-20_04-make-gcc	15m 50s
check-ubuntu-22_04-cmake-gcc	36m 37s
check-ubuntu-22_04-cmake-gcc-13	18m 4s
check-ubuntu-22_04-cmake-gcc-32bit	18m 56s
check-ubuntu-22_04-make-clang	17m 29s
check-docker-image	20m 22s
check-macos-12-cmake-clang	36m 7s
check-string-table	2m 40s
check-vs-2019-cmake-build-and-test	58m 51s
check-vs-2022-make-build-and-test	13m 40s
codecov-coverage-report	6h 0m 14s
include-what-you-use	26m 38s
windows-msi-package	14m 16s
	17h 26m 52s

Provide feedback