Statistical Properties of the Probabilistic Numeric Linear Solver BayesCG