Add a bunch of features and fixes #1484

Job	Run time
macOS	13m 10s
Coverage (STP)	54m 42s
Docker	7m 57s
Coverage (Z3)	54m 42s
clang-format	10s
Linux (LLVM 16)	11m 47s
Coverage (Bitwuzla)	54m 26s
Linux (LLVM 15)	11m 32s
Linux (LLVM 14)	11m 47s
Linux (LLVM 13)	11m 48s
Linux (LLVM 12)	11m 47s
Linux (LLVM 11, Doxygen)	11m 48s
Linux (ASan)	11m 47s
Linux (UBSan)	1s
Linux (MSan)	11m 26s
Linux (Z3 only)	1s
Linux (metaSMT)	1s
Linux (STP master)	1s
Linux (Bitwuzla only)	11m 47s
Linux (Latest klee-uclibc)	11m 48s
Linux (Asserts disabled)	11m 48s
Linux (No TCMalloc, optimised runtime)	3m 47s
	5h 18m 3s

Provide feedback