Infinite Time Horizon Safety of Bayesian Neural Networks