Add a bunch of features and fixes #1491

Job	Run time
clang-format	14s
Docker	7m 49s
Linux (LLVM 16)	11m 58s
Coverage (STP)	55m 20s
Linux (LLVM 15)	11m 34s
macOS	12m 17s
Coverage (Z3)	57m 6s
Linux (LLVM 14)	15m 31s
Coverage (Bitwuzla)	56m 49s
Linux (LLVM 13)	14m 24s
Linux (LLVM 12)	15m 0s
Linux (LLVM 11, Doxygen)	14m 16s
Linux (ASan)	37m 2s
Linux (UBSan)	25m 37s
Linux (MSan)	37m 18s
Linux (Z3 only)	12m 54s
Linux (metaSMT)	37m 19s
Linux (STP master)	15m 50s
Linux (Bitwuzla only)	15m 2s
Linux (Latest klee-uclibc)	18m 19s
Linux (Asserts disabled)	14m 42s
Linux (No TCMalloc, optimised runtime)	37m 17s
	8h 43m 38s

Provide feedback