Made the DefaultTimeProvider internal so that consumers don't accidentally new it up.