Add a bunch of features and fixes #1480

Job	Run time
Coverage (STP)	4m 45s
clang-format	12s
Coverage (Z3)	4m 44s
Docker	4m 45s
Coverage (Bitwuzla)	4m 45s
Linux (LLVM 16)	4m 43s
macOS	1s
Linux (LLVM 15)	4m 42s
Linux (LLVM 14)	4m 43s
Linux (LLVM 13)	4m 43s
Linux (LLVM 12)	4m 44s
Linux (LLVM 11, Doxygen)	4m 42s
Linux (ASan)	4m 42s
Linux (UBSan)	4m 25s
Linux (MSan)	4m 42s
Linux (Z3 only)	3s
Linux (metaSMT)	4m 42s
Linux (STP master)	4m 43s
Linux (Bitwuzla only)	4m 44s
Linux (Latest klee-uclibc)	4m 44s
Linux (Asserts disabled)	4m 43s
Linux (No TCMalloc, optimised runtime)	4m 42s
	1h 29m 39s

Provide feedback