BRIO: Low-Level Analysis of Trust in Probabilistic and Opaque Programs. tr 2023, 17 (4).