Use `--exact` and `--list-harnesses` and clean up parsing.

[jaisnan]

Use --exact when invoking the kani subprocess and --list-harnesses, post parsing to get fully qualified names for the harnesses.

This would also mean that some parts of the parsing from tree-sitter can be removed, which would improve startup time.