Add a bunch of features and fixes #1482

Job	Run time
clang-format	10s
Coverage (STP)	35m 10s
Coverage (Z3)	34m 53s
Docker	7m 56s
Coverage (Bitwuzla)	35m 9s
macOS	10m 27s
Linux (LLVM 16)	8m 32s
Linux (LLVM 15)	8m 46s
Linux (LLVM 14)	8m 45s
Linux (LLVM 13)	8m 47s
Linux (LLVM 12)	8m 47s
Linux (LLVM 11, Doxygen)	8m 47s
Linux (ASan)	8m 48s
Linux (UBSan)	1s
Linux (MSan)	8m 24s
Linux (Z3 only)	8m 1s
Linux (metaSMT)	8m 8s
Linux (STP master)	46s
Linux (Bitwuzla only)	8m 47s
Linux (Latest klee-uclibc)	8m 46s
Linux (Asserts disabled)	8m 47s
Linux (No TCMalloc, optimised runtime)	8m 27s
	4h 5m 4s

Provide feedback