Small fixes #965

Job	Run time
macOS	11m 24s
Linux (LLVM 14)	5m 27s
clang-format	6m 53s
Docker	5m 49s
Coverage (STP)	7m 49s
Linux (LLVM 13)	5m 29s
Coverage (Z3)	6m 46s
Linux (LLVM 12)	5m 30s
Linux (LLVM 11, Doxygen)	5m 30s
Linux (LLVM 10)	5m 31s
Linux (LLVM 9)	5m 27s
Linux (ASan)	5m 29s
Linux (UBSan)	4m 45s
Linux (MSan)	5m 29s
Linux (Z3 only)	3m 7s
Linux (metaSMT)	5m 29s
Linux (STP master)	5m 26s
Linux (Latest klee-uclibc)	5m 28s
Linux (Asserts disabled)	5m 31s
Linux (No TCMalloc, optimised runtime)	5m 28s
	1h 57m 47s

Provide feedback