feat: Reintroduce concrete store #1437

Job	Run time
clang-format	12s
Linux (LLVM 14)	10m 15s
Coverage (STP)	10m 41s
Linux (LLVM 13)	9m 57s
Docker	9m 56s
Coverage (Z3)	10m 44s
macOS	1m 12s
Linux (LLVM 12)	10m 2s
Coverage (Bitwuzla)	10m 41s
Linux (LLVM 11, Doxygen)	10m 41s
Linux (LLVM 10)	9m 45s
Linux (LLVM 9)	9m 40s
Linux (ASan)	10m 43s
Linux (UBSan)	10m 40s
Linux (MSan)	10m 41s
Linux (Z3 only)	7m 29s
Linux (metaSMT)	10m 40s
Linux (STP master)	10m 39s
Linux (Bitwuzla only)	10m 6s
Linux (Latest klee-uclibc)	10m 40s
Linux (Asserts disabled)	9m 40s
Linux (No TCMalloc, optimised runtime)	10m 41s
	3h 25m 45s

Provide feedback