Faster conda resolving