wip: #518

Job	Run time
Docker	11m 11s
clang-format	18s
Coverage (STP)	12m 36s
Linux (LLVM 16)	2m 14s
Coverage (Z3)	12m 42s
macOS	5m 7s
Linux (LLVM 15)	2m 34s
Coverage (Bitwuzla)	12m 35s
Linux (LLVM 14)	2m 34s
Linux (LLVM 13)	2m 32s
Linux (LLVM 12)	2m 33s
Linux (LLVM 11, Doxygen)	2m 33s
Linux (ASan)	2m 34s
Linux (UBSan)	2m 7s
Linux (MSan)	2m 8s
Linux (Z3 only)	1s
Linux (metaSMT)	2m 32s
Linux (STP master)	2m 9s
Linux (Bitwuzla only)	2m 32s
Linux (Latest klee-uclibc)	2m 31s
Linux (Asserts disabled)	2m 35s
Linux (No TCMalloc, optimised runtime)	2m 33s
Linux (Warnings as errors, 1)	2m 7s
	1h 33m 18s

Provide feedback