Add a bunch of features and fixes #1478

Job	Run time
Docker	5m 23s
clang-format	8s
Coverage (STP)	5m 14s
Linux (LLVM 16)	5m 22s
Coverage (Z3)	5m 29s
macOS	2m 17s
Linux (LLVM 15)	5m 22s
Coverage (Bitwuzla)	5m 32s
Linux (LLVM 14)	5m 22s
Linux (LLVM 13)	5m 23s
Linux (LLVM 12)	5m 22s
Linux (LLVM 11, Doxygen)	5m 23s
Linux (ASan)	5m 25s
Linux (UBSan)	1s
Linux (MSan)	5m 23s
Linux (Z3 only)	5m 22s
Linux (metaSMT)	5m 22s
Linux (STP master)	5m 22s
Linux (Bitwuzla only)	5m 24s
Linux (Latest klee-uclibc)	5m 24s
Linux (Asserts disabled)	5m 24s
Linux (No TCMalloc, optimised runtime)	5m 6s
	1h 44m 30s

Provide feedback