feat: Reintroduce concrete store #1458

Job	Run time
macOS	3m 20s
Coverage (STP)	6m 19s
clang-format	14s
Coverage (Z3)	5m 52s
Docker	7m 12s
Coverage (Bitwuzla)	6m 22s
Linux (LLVM 16)	1s
Linux (LLVM 15)	1s
Linux (LLVM 14)	24s
Linux (LLVM 13)	24s
Linux (LLVM 12)	3m 48s
Linux (LLVM 11, Doxygen)	3m 49s
Linux (ASan)	5m 29s
Linux (UBSan)	1s
Linux (MSan)	1s
Linux (Z3 only)	1s
Linux (metaSMT)	1s
Linux (STP master)	1s
Linux (Bitwuzla only)	5m 28s
Linux (Latest klee-uclibc)	5m 4s
Linux (Asserts disabled)	5m 43s
Linux (No TCMalloc, optimised runtime)	1s
	59m 36s

Provide feedback