Separate branch and block coverage #914

Job	Run time
clang-format	6m 2s
Coverage (STP)	34m 20s
Docker	12m 5s
Coverage (Z3)	34m 20s
Linux (LLVM 14)	15m 29s
macOS	14m 17s
Linux (LLVM 13)	16m 2s
Linux (LLVM 12)	15m 50s
Linux (LLVM 11, Doxygen)	17m 26s
Linux (LLVM 10)	17m 30s
Linux (LLVM 9)	14m 22s
Linux (ASan)	18m 18s
Linux (UBSan)	12m 47s
Linux (MSan)	15m 15s
Linux (Z3 only)	12m 9s
Linux (metaSMT)	15m 22s
Linux (STP master)	13m 58s
Linux (Latest klee-uclibc)	18m 20s
Linux (Asserts disabled)	18m 21s
Linux (No TCMalloc, optimised runtime)	15m 18s
	5h 37m 31s

Provide feedback