Risk-Averse Certification of Bayesian Neural Networks