feat: Reintroduce concrete store (#197) #1467

Job	Run time
Docker	8m 9s
clang-format	13s
Coverage (STP)	52m 36s
Linux (LLVM 16)	10m 1s
Coverage (Z3)	55m 17s
macOS	9m 52s
Linux (LLVM 15)	9m 57s
Coverage (Bitwuzla)	53m 8s
Linux (LLVM 14)	13m 9s
Linux (LLVM 13)	13m 57s
Linux (LLVM 12)	13m 38s
Linux (LLVM 11, Doxygen)	12m 28s
Linux (ASan)	48m 43s
Linux (UBSan)	49m 48s
Linux (MSan)	1h 13m 50s
Linux (Z3 only)	12m 56s
Linux (metaSMT)	35m 58s
Linux (STP master)	14m 48s
Linux (Bitwuzla only)	12m 50s
Linux (Latest klee-uclibc)	14m 17s
Linux (Asserts disabled)	12m 25s
Linux (No TCMalloc, optimised runtime)	29m 44s
	9h 17m 44s

Provide feedback