Memoize Resolution and Reduce Search Space

[nikhedonia]

Architecture:

• use Actor to memoize each resolution step
• Resolver.State should keep manifest.dependencies and remaining dependencies separate.
• track resolution path
• compute minimal unresolvable cores based on resolution path
• compute equivalent representation of an unresolvable core if a resolution path is a dead end.
• trim tree using unresolvable cores