Add proportional apportionment in validators’ draw
Currently the Hare-Niemeyer method is chosen over Sainte-Laguë as presumably more efficient (generated lists are shorter), but it would be nice to verify this choice with either some theoretical analysis or some benchmarks.