Statistical properties of BayesCG under the Krylov prior