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

Job	Run time
clang-format	8s
Coverage (STP)	34m 37s
Docker	8m 41s
Coverage (Z3)	34m 22s
Coverage (Bitwuzla)	34m 38s
Linux (LLVM 16)	9m 55s
macOS	9m 8s
Linux (LLVM 15)	9m 40s
Linux (LLVM 14)	9m 56s
Linux (LLVM 13)	9m 56s
Linux (LLVM 12)	9m 57s
Linux (LLVM 11, Doxygen)	9m 57s
Linux (ASan)	10m 2s
Linux (UBSan)	9m 41s
Linux (MSan)	9m 55s
Linux (Z3 only)	1m 7s
Linux (metaSMT)	9m 57s
Linux (STP master)	9m 56s
Linux (Bitwuzla only)	10m 1s
Linux (Latest klee-uclibc)	9m 56s
Linux (Asserts disabled)	9m 58s
Linux (No TCMalloc, optimised runtime)	9m 56s
	4h 31m 24s

Provide feedback