goto-checker no longer depends on cbmc #11079

Job	Run time
check-ubuntu-24_04-cmake-gcc	31m 47s
check-ubuntu-24_04-make-clang	34m 2s
check-ubuntu-24_04-make-clang-smt-z3	17m 32s
check-ubuntu-24_04-make-gcc	33m 2s
check-macos-13-make-clang	1h 5m 36s
check-macos-14-cmake-clang	1h 36m 51s
check-ubuntu-22_04-cmake-gcc	29m 0s
check-ubuntu-22_04-cmake-gcc-32bit	30m 13s
check-ubuntu-22_04-make-clang	34m 15s
check-ubuntu-24_04-cmake-gcc-14	29m 16s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	17m 15s
check-ubuntu-24_04-cmake-gcc-THOROUGH	22m 54s
check-vs-2019-cmake-build-and-test	49m 36s
check-docker-image	19m 13s
check-string-table	1m 41s
check-vs-2022-make-build-and-test	37m 22s
include-what-you-use	14m 43s
windows-msi-package	21m 36s
	9h 45m 54s

Provide feedback