Added proxy weighting #2012

Proposing adding proxy weighting to the current release branch, although I could be convinced otherwise.
Oh wait sorry, so it would have to be a random weight within a given range for each proxy. I actually don't think we're solving anything with that approach, or actually that there's anything to solve here. Each pair of elements will only be compared once, and each time that happens one or the other is chosen in a weighted fashion. That's really all we want or need. With the suggested change, the Comparator would still be inconsistent with equals, and would therefore still not be a total ordering. So I just don't think we're solving anything.