36a9a22 made some improvements on how we handle the 'existence' of a project, but there's still more concerted thinking that needs doing. In particular, we need to figure out how we're representing code that's only in vendor (effectively versionless) in the context of the solver, and what having it implies for finding solutions.

Also, tests.