Add a bunch of features and fixes #1481

Job	Run time
clang-format	33s
Docker	8m 30s
Coverage (STP)	11m 17s
Linux (LLVM 16)	7m 31s
Coverage (Z3)	11m 16s
macOS	11m 0s
Coverage (Bitwuzla)	11m 15s
Linux (LLVM 15)	7m 26s
Linux (LLVM 14)	7m 44s
Linux (LLVM 13)	7m 45s
Linux (LLVM 12)	7m 44s
Linux (LLVM 11, Doxygen)	7m 45s
Linux (ASan)	7m 45s
Linux (UBSan)	7m 8s
Linux (MSan)	7m 43s
Linux (Z3 only)	1s
Linux (metaSMT)	7m 43s
Linux (STP master)	7m 5s
Linux (Bitwuzla only)	7m 45s
Linux (Latest klee-uclibc)	7m 47s
Linux (Asserts disabled)	7m 44s
Linux (No TCMalloc, optimised runtime)	7m 19s
	2h 47m 46s

Provide feedback