Fix a few bugs #874

Job	Run time
Docker	17m 8s
clang-format	5m 47s
Coverage (STP)	46m 6s
Linux (LLVM 14)	16m 35s
Coverage (Z3)	51m 48s
Linux (LLVM 13)	15m 29s
macOS	9m 52s
Linux (LLVM 12)	17m 26s
Linux (LLVM 11, Doxygen)	15m 28s
Linux (LLVM 10)	16m 15s
Linux (LLVM 9)	14m 29s
Linux (ASan)	53m 20s
Linux (UBSan)	45m 19s
Linux (MSan)	55m 11s
Linux (Z3 only)	17m 31s
Linux (metaSMT)	40m 53s
Linux (STP master)	15m 46s
Linux (Latest klee-uclibc)	17m 2s
Linux (Asserts disabled)	14m 17s
Linux (No TCMalloc, optimised runtime)	14m 45s
	8h 20m 27s

Provide feedback