Add a bunch of features and fixes #1489

Job	Run time
Docker	7m 57s
Coverage (STP)	56m 34s
Coverage (Z3)	56m 34s
clang-format	10s
Coverage (Bitwuzla)	56m 18s
Linux (LLVM 16)	13m 6s
Linux (LLVM 15)	12m 25s
macOS	12m 27s
Linux (LLVM 14)	16m 27s
Linux (LLVM 13)	16m 8s
Linux (LLVM 12)	15m 46s
Linux (LLVM 11, Doxygen)	16m 26s
Linux (ASan)	36m 40s
Linux (UBSan)	29m 51s
Linux (MSan)	36m 35s
Linux (Z3 only)	13m 19s
Linux (metaSMT)	36m 54s
Linux (STP master)	16m 37s
Linux (Bitwuzla only)	14m 27s
Linux (Latest klee-uclibc)	17m 3s
Linux (Asserts disabled)	14m 47s
Linux (No TCMalloc, optimised runtime)	33m 53s
	8h 50m 24s

Provide feedback