Fix dump of types without .names (former BitsKinds)
Fix Pkg.Resolve.sanity_check

Test was failing to properly check in case of
dependency graphs with tight cycles.
Add Pkg.Resolve tests