feat: Take commits from KLEE 3.1 #1429

Job	Run time
clang-format	9s
Docker	8m 6s
Coverage (STP)	51m 21s
Coverage (Z3)	53m 25s
macOS	9m 56s
Coverage (Bitwuzla)	54m 49s
Linux (LLVM 16)	11m 8s
Linux (LLVM 15)	9m 58s
Linux (LLVM 14)	12m 21s
Linux (LLVM 13)	13m 36s
Linux (LLVM 12)	13m 20s
Linux (LLVM 11, Doxygen)	12m 38s
Linux (ASan)	47m 46s
Linux (UBSan)	51m 24s
Linux (MSan)	1h 10m 53s
Linux (Z3 only)	13m 20s
Linux (metaSMT)	35m 51s
Linux (STP master)	14m 22s
Linux (Bitwuzla only)	12m 22s
Linux (Latest klee-uclibc)	14m 28s
Linux (Asserts disabled)	12m 52s
Linux (No TCMalloc, optimised runtime)	39m 35s
	9h 23m 40s

Provide feedback