Separate branch and block coverage #917

Job	Run time
Docker	12m 49s
Coverage (STP)	39m 38s
Linux (LLVM 14)	22m 41s
Coverage (Z3)	52m 8s
Linux (LLVM 13)	17m 25s
clang-format	5m 40s
macOS	6m 56s
Linux (LLVM 12)	18m 15s
Linux (LLVM 11, Doxygen)	21m 47s
Linux (LLVM 10)	18m 21s
Linux (LLVM 9)	23m 37s
Linux (ASan)	52m 37s
Linux (UBSan)	51m 22s
Linux (MSan)	1h 8m 22s
Linux (Z3 only)	16m 52s
Linux (metaSMT)	37m 54s
Linux (STP master)	20m 26s
Linux (Latest klee-uclibc)	24m 11s
Linux (Asserts disabled)	15m 22s
Linux (No TCMalloc, optimised runtime)	21m 13s
	9h 7m 36s

Provide feedback