Sizeless ObjectState + uninitialized memory support #904

Job	Run time
Docker	5m 3s
clang-format	5m 48s
Coverage (STP)	10m 36s
macOS	9m 28s
Linux (LLVM 14)	5m 38s
Coverage (Z3)	10m 38s
Linux (LLVM 13)	5m 31s
Linux (LLVM 12)	5m 35s
Linux (LLVM 11, Doxygen)	5m 29s
Linux (LLVM 10)	5m 41s
Linux (LLVM 9)	5m 39s
Linux (ASan)	5m 38s
Linux (UBSan)	5m 37s
Linux (MSan)	5m 38s
Linux (Z3 only)	42s
Linux (metaSMT)	5m 37s
Linux (STP master)	5m 34s
Linux (Latest klee-uclibc)	5m 45s
Linux (Asserts disabled)	5m 19s
Linux (No TCMalloc, optimised runtime)	5m 34s
	2h 0m 30s

Provide feedback