Add options to store and rerun execution states during run #1430

Job	Run time
Docker	8m 12s
Coverage (STP)	28m 2s
clang-format	13s
Coverage (Z3)	28m 3s
Coverage (Bitwuzla)	27m 45s
macOS	4m 13s
Linux (LLVM 14)	9m 40s
Linux (LLVM 13)	9m 41s
Linux (LLVM 12)	9m 40s
Linux (LLVM 11, Doxygen)	9m 40s
Linux (LLVM 10)	9m 41s
Linux (LLVM 9)	9m 41s
Linux (ASan)	9m 41s
Linux (UBSan)	9m 21s
Linux (MSan)	9m 40s
Linux (Z3 only)	9m 21s
Linux (metaSMT)	9m 42s
Linux (STP master)	9m 41s
Linux (Bitwuzla only)	9m 25s
Linux (Latest klee-uclibc)	9m 42s
Linux (Asserts disabled)	9m 37s
Linux (No TCMalloc, optimised runtime)	9m 40s
	4h 10m 21s

Provide feedback