Add a bunch of features and fixes #1487

Job	Run time
clang-format	17s
Coverage (STP)	14m 53s
Docker	8m 37s
Coverage (Z3)	14m 55s
Coverage (Bitwuzla)	14m 53s
macOS	2m 13s
Linux (LLVM 16)	12m 33s
Linux (LLVM 15)	12m 39s
Linux (LLVM 14)	14m 52s
Linux (LLVM 13)	14m 51s
Linux (LLVM 12)	14m 51s
Linux (LLVM 11, Doxygen)	14m 51s
Linux (ASan)	14m 50s
Linux (UBSan)	14m 18s
Linux (MSan)	14m 21s
Linux (Z3 only)	5m 55s
Linux (metaSMT)	14m 51s
Linux (STP master)	14m 18s
Linux (Bitwuzla only)	14m 54s
Linux (Latest klee-uclibc)	14m 54s
Linux (Asserts disabled)	14m 53s
Linux (No TCMalloc, optimised runtime)	14m 20s
	4h 37m 59s

Provide feedback