Fixed a bug where DocResults.size() would return -1.

DocResults now takes into account that the Hits object doesn't always
know the total number of docs.