`kani-cov`: A coverage tool for Kani #8551

Job	Run time
benchcomp-tests	6m 24s
documentation	2m 14s
perf	35m 46s
regression (macos-13)	40m 10s
write-json-symtab-regression	17m 23s
regression (ubuntu-20.04)	29m 14s
regression (ubuntu-22.04)	28m 41s
regression (macos-14)	34m 27s
	3h 14m 19s

Provide feedback