Add a bunch of features and fixes #1485

Job	Run time
Docker	8m 22s
Linux (LLVM 16)	12m 8s
Linux (LLVM 15)	11m 53s
clang-format	12s
Coverage (STP)	53m 34s
Linux (LLVM 14)	12m 9s
macOS	13m 54s
Coverage (Z3)	56m 6s
Linux (LLVM 13)	12m 9s
Coverage (Bitwuzla)	55m 51s
Linux (LLVM 12)	12m 11s
Linux (LLVM 11, Doxygen)	12m 11s
Linux (ASan)	12m 11s
Linux (UBSan)	3m 42s
Linux (MSan)	12m 9s
Linux (Z3 only)	1s
Linux (metaSMT)	12m 8s
Linux (STP master)	12m 10s
Linux (Bitwuzla only)	12m 10s
Linux (Latest klee-uclibc)	12m 10s
Linux (Asserts disabled)	12m 11s
Linux (No TCMalloc, optimised runtime)	11m 51s
	6h 1m 23s

Provide feedback