We now iterate explicitly over leaf readers; in theory this saves some
time since the global reader doesn't have to do a binary search to figure
out which leaf reader contains the doc.  #fix LUX-21