Seol mar théacs é seo: Amortized rejection sampling in universal probabilistic programming