Start decoupling check logic from Nant task.

As a first draft, the checking logic from the Nant task is going to be
ported over to a third assembly. Within this move, all logic is put
under test.

This first drop essentially models core objects and puts basic I/O stuff
under test. Right now, only project loading, binary reference parsing
and the check loop is implemented.