Refactor simplify the resolver implementation.

* Combine the queue and addtl (there was no need for a separation).
* Combine the manifests, dependencies, and queue into single a state object.