Sizeless ObjectState + uninitialized memory support #890

Job	Run time
clang-format	5m 41s
Docker	13m 26s
Coverage (STP)	46m 45s
Linux (LLVM 14)	7m 27s
macOS	7m 58s
Coverage (Z3)	46m 27s
Linux (LLVM 13)	7m 26s
Linux (LLVM 12)	7m 27s
Linux (LLVM 11, Doxygen)	7m 27s
Linux (LLVM 10)	7m 28s
Linux (LLVM 9)	7m 8s
Linux (ASan)	7m 28s
Linux (UBSan)	2m 13s
Linux (MSan)	4m 15s
Linux (Z3 only)	1s
Linux (metaSMT)	7m 27s
Linux (STP master)	3m 17s
Linux (Latest klee-uclibc)	7m 26s
Linux (Asserts disabled)	7m 27s
Linux (No TCMalloc, optimised runtime)	3m 46s
	3h 28m 0s

Provide feedback