Add a bunch of features and fixes #1486

Job	Run time
Docker	8m 20s
clang-format	9s
Coverage (STP)	32m 32s
Coverage (Z3)	32m 30s
Linux (LLVM 16)	13m 36s
Coverage (Bitwuzla)	32m 31s
macOS	13m 9s
Linux (LLVM 15)	12m 2s
Linux (LLVM 14)	15m 21s
Linux (LLVM 13)	15m 5s
Linux (LLVM 12)	15m 22s
Linux (LLVM 11, Doxygen)	15m 21s
Linux (ASan)	15m 22s
Linux (UBSan)	6m 58s
Linux (MSan)	15m 21s
Linux (Z3 only)	3m 12s
Linux (metaSMT)	15m 20s
Linux (STP master)	15m 3s
Linux (Bitwuzla only)	15m 22s
Linux (Latest klee-uclibc)	15m 23s
Linux (Asserts disabled)	15m 22s
Linux (No TCMalloc, optimised runtime)	15m 21s
	5h 38m 42s

Provide feedback