feat: Take commits from KLEE 3.1 #1422

Job	Run time
Docker	9m 38s
Coverage (STP)	51m 23s
clang-format	16s
Linux (LLVM 16)	10m 39s
Linux (LLVM 15)	9m 51s
macOS	10m 18s
Coverage (Z3)	55m 9s
Linux (LLVM 14)	12m 29s
Coverage (Bitwuzla)	54m 38s
Linux (LLVM 13)	12m 28s
Linux (LLVM 12)	12m 7s
Linux (LLVM 11, Doxygen)	12m 13s
Linux (ASan)	48m 51s
Linux (UBSan)	39m 21s
Linux (MSan)	49m 7s
Linux (Z3 only)	12m 45s
Linux (metaSMT)	32m 48s
Linux (STP master)	13m 30s
Linux (Bitwuzla only)	12m 0s
Linux (Latest klee-uclibc)	14m 34s
Linux (Asserts disabled)	12m 10s
Linux (No TCMalloc, optimised runtime)	34m 4s
Linux (Warnings as errors)	13m 18s
	8h 53m 37s

Provide feedback