optional Redis-based profiling of how many times each Souper optimization is hit
by the optimized program