feat: Take commits from KLEE 3.1 #1423

Job	Run time
clang-format	14s
Coverage (STP)	51m 22s
Coverage (Z3)	54m 14s
Docker	8m 27s
Coverage (Bitwuzla)	52m 48s
macOS	8m 42s
Linux (LLVM 16)	9m 56s
Linux (LLVM 15)	10m 28s
Linux (LLVM 14)	12m 30s
Linux (LLVM 13)	12m 4s
Linux (LLVM 12)	12m 59s
Linux (LLVM 11, Doxygen)	12m 23s
Linux (ASan)	48m 28s
Linux (UBSan)	49m 41s
Linux (MSan)	1h 11m 13s
Linux (Z3 only)	13m 42s
Linux (metaSMT)	34m 23s
Linux (STP master)	14m 41s
Linux (Bitwuzla only)	12m 9s
Linux (Latest klee-uclibc)	14m 27s
Linux (Asserts disabled)	12m 2s
Linux (No TCMalloc, optimised runtime)	36m 0s
Linux (Warnings as errors)	12m 17s
	9h 25m 10s

Provide feedback