Added necessary plumbing for tests for dependency solver

All testing code is now in tests/Tests.hs, I also made a couple of small modifications in ResolveDeps which are needed for writing tests more conveniently