incr.comp.: Querify WF-checking so it can be cached

[michaelwoerister]

At the moment WF checking is not done via a query. As a consequence, we cannot cache it during incremental compilation. Seems like an easy optimization.

cc @nikomatsakis

[wesleywiser]

I'm working on this.