Sizeless ObjectState + uninitialized memory support #893

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

Provide feedback