Add a bunch of features and fixes #1488

Job	Run time
Coverage (STP)	55m 4s
macOS	11m 41s
clang-format	9s
Coverage (Z3)	56m 47s
Coverage (Bitwuzla)	59m 37s
Docker	8m 19s
Linux (LLVM 16)	12m 14s
Linux (LLVM 15)	13m 38s
Linux (LLVM 14)	15m 16s
Linux (LLVM 13)	15m 24s
Linux (LLVM 12)	15m 41s
Linux (LLVM 11, Doxygen)	15m 41s
Linux (ASan)	38m 21s
Linux (UBSan)	38m 20s
Linux (MSan)	38m 16s
Linux (Z3 only)	14m 1s
Linux (metaSMT)	38m 17s
Linux (STP master)	15m 31s
Linux (Bitwuzla only)	15m 18s
Linux (Latest klee-uclibc)	17m 11s
Linux (Asserts disabled)	15m 13s
Linux (No TCMalloc, optimised runtime)	38m 17s
	9h 8m 16s

Provide feedback