At the very least we should implement it by calling SearchResult.getHitCount().

If necessary, we can think about a better performing solution that would not fetch hits when we only need the result count. We could take advantage of a new, dedicated SPI such as SearchQuery.executeCount(), we could set the SearchQuery result limit to 0 before executing it in that specific case.