Introduce value-set supported simplifier for goto-symex #11098

Job	Run time
check-ubuntu-24_04-cmake-gcc	31m 43s
check-ubuntu-22_04-cmake-gcc	30m 2s
windows-msi-package	21m 48s
check-macos-13-make-clang	47m 48s
check-ubuntu-24_04-make-clang	34m 38s
check-ubuntu-24_04-cmake-gcc-KNOWNBUG	18m 3s
check-macos-14-cmake-clang	1h 34m 42s
check-ubuntu-24_04-cmake-gcc-14	30m 2s
check-ubuntu-22_04-cmake-gcc-32bit	29m 49s
check-ubuntu-24_04-make-clang-smt-z3	17m 30s
include-what-you-use	14m 42s
check-ubuntu-24_04-make-gcc	32m 30s
check-vs-2019-cmake-build-and-test	48m 39s
check-ubuntu-24_04-cmake-gcc-THOROUGH	22m 30s
check-string-table	1m 43s
check-ubuntu-22_04-make-clang	33m 23s
check-docker-image	20m 59s
check-vs-2022-make-build-and-test	43m 37s
	9h 34m 8s

Provide feedback