Add a bunch of features and fixes #1492

Job	Run time
Docker	7m 45s
Coverage (STP)	53m 9s
clang-format	10s
Coverage (Z3)	54m 55s
Coverage (Bitwuzla)	56m 3s
Linux (LLVM 16)	11m 51s
macOS	13m 15s
Linux (LLVM 15)	11m 33s
Linux (LLVM 14)	15m 6s
Linux (LLVM 13)	14m 29s
Linux (LLVM 12)	14m 22s
Linux (LLVM 11, Doxygen)	14m 50s
Linux (ASan)	36m 41s
Linux (UBSan)	29m 6s
Linux (MSan)	36m 56s
Linux (Z3 only)	13m 1s
Linux (metaSMT)	36m 56s
Linux (STP master)	14m 41s
Linux (Bitwuzla only)	13m 58s
Linux (Latest klee-uclibc)	17m 45s
Linux (Asserts disabled)	15m 2s
Linux (No TCMalloc, optimised runtime)	36m 55s
	8h 38m 29s

Provide feedback