[feat] Add fixed size storage #481

Job	Run time
clang-format	5m 16s
Docker	19m 54s
Coverage (STP)	32m 39s
Linux (LLVM 14)	12m 52s
Coverage (Z3)	33m 23s
Linux (LLVM 13)	12m 52s
Coverage (Bitwuzla)	33m 12s
macOS	4m 56s
Linux (LLVM 12)	12m 52s
Linux (LLVM 11, Doxygen)	12m 53s
Linux (LLVM 10)	12m 53s
Linux (LLVM 9)	12m 52s
Linux (ASan)	12m 53s
Linux (UBSan)	12m 52s
Linux (MSan)	12m 53s
Linux (Z3 only)	44s
Linux (metaSMT)	12m 52s
Linux (STP master)	11m 59s
Linux (Bitwuzla only)	12m 36s
Linux (Latest klee-uclibc)	12m 54s
Linux (Asserts disabled)	12m 52s
Linux (No TCMalloc, optimised runtime)	12m 52s
	5h 22m 1s

Provide feedback