Add a bunch of features and fixes #1477

Job	Run time
clang-format	26s
Coverage (STP)	4m 19s
Coverage (Z3)	4m 33s
Docker	4m 46s
Coverage (Bitwuzla)	4m 34s
macOS	2m 24s
Linux (LLVM 16)	3m 52s
Linux (LLVM 15)	3m 52s
Linux (LLVM 14)	3m 52s
Linux (LLVM 13)	3m 54s
Linux (LLVM 12)	3m 53s
Linux (LLVM 11, Doxygen)	3m 52s
Linux (ASan)	3m 55s
Linux (UBSan)	1s
Linux (MSan)	3m 53s
Linux (Z3 only)	3m 23s
Linux (metaSMT)	3m 52s
Linux (STP master)	3m 51s
Linux (Bitwuzla only)	3m 52s
Linux (Latest klee-uclibc)	3m 58s
Linux (Asserts disabled)	3m 54s
Linux (No TCMalloc, optimised runtime)	3m 37s
	1h 18m 33s

Provide feedback