Sizeless ObjectState + uninitialized memory support #902

Job	Run time
clang-format	6m 30s
Docker	13m 15s
Linux (LLVM 14)	17m 4s
Linux (LLVM 13)	20m 11s
macOS	7m 30s
Coverage (STP)	58m 3s
Linux (LLVM 12)	16m 21s
Coverage (Z3)	58m 17s
Linux (LLVM 11, Doxygen)	17m 12s
Linux (LLVM 10)	19m 54s
Linux (LLVM 9)	19m 14s
Linux (ASan)	53m 31s
Linux (UBSan)	48m 38s
Linux (MSan)	1h 11m 34s
Linux (Z3 only)	20m 13s
Linux (metaSMT)	33m 46s
Linux (STP master)	25m 44s
Linux (Latest klee-uclibc)	20m 32s
Linux (Asserts disabled)	15m 10s
Linux (No TCMalloc, optimised runtime)	22m 14s
	9h 24m 53s

Provide feedback