Seol mar théacs é seo: Heterotic anomaly cancellation in five dimensions