Harness count is inaccurate #139
Description
Although https://os-checker.github.io/distributed-verification/chart provides harness count, the metrics are not so meaningful, because
- NonProof contains monomorphized functions so that the count grows mainfold
- Kani proofs are FnDef based (non-monomorphized), thus to make it a bit more accurate, we should map monomirphized instance back to FnDef when computing the count of verified functions and harnesses
- the module path is impl-block based, not referring to the datastructure or trait