Fast Redis Bloom Filters in Python