Optimize method shrink of ElementPicker

[sylvainhalle]

Instead of returning the generic PickSmallerComparable, it could return another ElementPicker with larger values being removed from the possible choices (and probabilities readjusted accordingly).