Covered new error option, fix for building pointers #1413

Job	Run time
Docker	8m 19s
Coverage (STP)	28m 57s
clang-format	22s
Coverage (Z3)	30m 49s
Coverage (Bitwuzla)	30m 7s
Linux (LLVM 14)	10m 17s
macOS	5m 12s
Linux (LLVM 13)	9m 57s
Linux (LLVM 12)	10m 49s
Linux (LLVM 11, Doxygen)	10m 7s
Linux (LLVM 10)	9m 41s
Linux (LLVM 9)	9m 29s
Linux (ASan)	50m 8s
Linux (UBSan)	51m 7s
Linux (MSan)	1h 15m 43s
Linux (Z3 only)	10m 54s
Linux (metaSMT)	20m 5s
Linux (STP master)	11m 8s
Linux (Bitwuzla only)	9m 34s
Linux (Latest klee-uclibc)	11m 45s
Linux (Asserts disabled)	10m 15s
Linux (No TCMalloc, optimised runtime)	30m 47s
	7h 25m 32s

Provide feedback