feat: Take commits from KLEE 3.1 #1428

Job	Run time
Docker	12m 45s
clang-format	12s
Linux (LLVM 16)	10m 34s
Coverage (STP)	10m 11s
Linux (LLVM 15)	10m 35s
macOS	5m 8s
Coverage (Z3)	10m 27s
Linux (LLVM 14)	10m 35s
Linux (LLVM 13)	10m 35s
Coverage (Bitwuzla)	10m 29s
Linux (LLVM 12)	10m 36s
Linux (LLVM 11, Doxygen)	10m 33s
Linux (ASan)	10m 35s
Linux (UBSan)	10m 34s
Linux (MSan)	10m 31s
Linux (Z3 only)	2s
Linux (metaSMT)	10m 32s
Linux (STP master)	10m 33s
Linux (Bitwuzla only)	10m 37s
Linux (Latest klee-uclibc)	10m 37s
Linux (Asserts disabled)	10m 35s
Linux (No TCMalloc, optimised runtime)	10m 17s
	3h 27m 33s

Provide feedback