Seol mar théacs é seo: Vertical tracer mixing in hot Jupiter atmospheres