Check-IRV: a vastly improved version of IRV