Yeah, I'm not sure where the qualms about monotonicity are coming from. In an IRV the lower-ranked preferences do not count until the higher-ranked preferences have already been eliminated for not reaching majority