BRIO: Low-Level Analysis of Trust in Probabilistic and Opaque Programs (The Reasoner, 2023)