runDiscovery in Verification.hs doesn't need to be async anymore

[Tristan Ravitch]

Originally, we ran the two discovery processes asynchronously in parallel to speed up the verifier initialization. Now that code discovery is actually on-demand instead, this is no longer necessary. We should remove the async discovery runner.