Bucklin counting, with test.