feat: Reintroduce concrete store #1463

Job	Run time
Docker	8m 11s
clang-format	8s
Coverage (STP)	52m 44s
Coverage (Z3)	53m 56s
Linux (LLVM 16)	10m 37s
macOS	10m 32s
Coverage (Bitwuzla)	52m 53s
Linux (LLVM 15)	9m 36s
Linux (LLVM 14)	13m 32s
Linux (LLVM 13)	12m 1s
Linux (LLVM 12)	12m 32s
Linux (LLVM 11, Doxygen)	12m 59s
Linux (ASan)	49m 32s
Linux (UBSan)	51m 4s
Linux (MSan)	1h 14m 29s
Linux (Z3 only)	14m 38s
Linux (metaSMT)	36m 52s
Linux (STP master)	14m 29s
Linux (Bitwuzla only)	12m 23s
Linux (Latest klee-uclibc)	15m 4s
Linux (Asserts disabled)	12m 5s
Linux (No TCMalloc, optimised runtime)	36m 55s
	9h 27m 12s

Provide feedback