Don't skip initial constraints with useRCsOK!

Also, we can still calculate topLevelPrereleases since maybe that can be
used for better diagnostics or something
Skip ResolverState clone on duplicate constraint
Improve error message on one particular conflict
refactor tests