Sizeless ObjectState + uninitialized memory support #888

Job	Run time
clang-format	6m 3s
Docker	13m 39s
Linux (LLVM 14)	6m 48s
Coverage (STP)	22m 31s
Linux (LLVM 13)	6m 41s
macOS	6m 13s
Coverage (Z3)	22m 48s
Linux (LLVM 12)	6m 41s
Linux (LLVM 11, Doxygen)	6m 43s
Linux (LLVM 10)	6m 23s
Linux (LLVM 9)	6m 35s
Linux (ASan)	6m 41s
Linux (UBSan)	29s
Linux (MSan)	6m 42s
Linux (Z3 only)	1s
Linux (metaSMT)	6m 42s
Linux (STP master)	6m 41s
Linux (Latest klee-uclibc)	6m 43s
Linux (Asserts disabled)	6m 47s
Linux (No TCMalloc, optimised runtime)	6m 40s
	2h 38m 31s

Provide feedback