Sizeless ObjectState + uninitialized memory support #909

Job	Run time
macOS	9m 35s
Docker	12m 56s
clang-format	5m 39s
Coverage (STP)	25m 31s
Coverage (Z3)	25m 33s
Linux (LLVM 14)	15m 54s
Linux (LLVM 13)	15m 50s
Linux (LLVM 12)	15m 51s
Linux (LLVM 11, Doxygen)	15m 49s
Linux (LLVM 10)	15m 32s
Linux (LLVM 9)	15m 50s
Linux (ASan)	15m 53s
Linux (UBSan)	10m 6s
Linux (MSan)	15m 50s
Linux (Z3 only)	15m 52s
Linux (metaSMT)	15m 50s
Linux (STP master)	15m 0s
Linux (Latest klee-uclibc)	15m 52s
Linux (Asserts disabled)	15m 20s
Linux (No TCMalloc, optimised runtime)	15m 41s
	5h 9m 24s

Provide feedback