Fast leave-one-out methods for inference, model selection, and diagnostic checking. (December 2020)