add support for profiling souper optimizations

increment a redis variable any time optimized code executes
License header please.