Strong Consistency of the Bayesian Estimator for the Ornstein–Uhlenbeck Process