Cache number of reachable nodes as seen by crawl.py in Redis