Precondition to check that the weighted sampler isn't given an empty list of elements.