Seol mar théacs é seo: Inference compilation and universal probabilistic programming