Rewrote the redis-backed filter to use ints in a hash instead of redis get/setbit.

This seems like it has some hope of being efficient for larger filters.