Add a bunch of features and fixes #1494

Job	Run time
Docker	8m 20s
clang-format	13s
Coverage (STP)	56m 28s
Linux (LLVM 16)	11m 50s
Coverage (Z3)	56m 26s
macOS	12m 25s
Linux (LLVM 15)	11m 55s
Coverage (Bitwuzla)	1h 0m 9s
Linux (LLVM 14)	15m 19s
Linux (LLVM 13)	15m 32s
Linux (LLVM 12)	15m 3s
Linux (LLVM 11, Doxygen)	15m 40s
Linux (ASan)	37m 56s
Linux (UBSan)	35m 50s
Linux (MSan)	1h 13m 32s
Linux (Z3 only)	14m 9s
Linux (metaSMT)	38m 52s
Linux (STP master)	14m 43s
Linux (Bitwuzla only)	14m 47s
Linux (Latest klee-uclibc)	16m 38s
Linux (Asserts disabled)	14m 40s
Linux (No TCMalloc, optimised runtime)	43m 28s
	9h 43m 55s

Provide feedback