Sizeless ObjectState + uninitialized memory support #928

Job	Run time
Docker	11m 52s
Coverage (STP)	22m 26s
clang-format	6m 31s
Coverage (Z3)	22m 26s
Linux (LLVM 14)	18m 2s
Linux (LLVM 13)	18m 1s
macOS	6m 47s
Linux (LLVM 12)	15m 31s
Linux (LLVM 11, Doxygen)	15m 41s
Linux (LLVM 10)	18m 4s
Linux (LLVM 9)	18m 2s
Linux (ASan)	18m 3s
Linux (UBSan)	17m 38s
Linux (MSan)	18m 0s
Linux (Z3 only)	16m 7s
Linux (metaSMT)	17m 43s
Linux (STP master)	18m 2s
Linux (Latest klee-uclibc)	18m 1s
Linux (Asserts disabled)	18m 1s
Linux (No TCMalloc, optimised runtime)	15m 58s
	5h 30m 56s

Provide feedback