Fast Irreducibility and Subgroup Membership Testing in XTR