Resolver does not allow optional reqs to resolve if they introduce class space inconsistencies

If an optional requirement has at least one matching capability available to it then the resolver only lets the resource resolve if at least one of the optional candidates gives a consistent class space; otherwise the resource will fail to resolve.

While not required by the spec to find a solution, if one exists we could modify the resolver to allow a permutation that has zero candidates for optional requirements.