maybe we should this maxDoc instead? and add numDocs() that does take deleted docs into account?