Cholesky downdate and tests for LogDet