“Comparative analysis finds that proportional systems with small district magnitudes, a category that includes Irish-style STV, can combine reasonably proportional outcomes with limited party fragmentation and local accountability.”