Optimizing Redis

Benchmarking, profiling, and optimizations for memory and latency