check that chol solve is correct