add support for profiling souper optimizations

increment a redis variable any time optimized code executes
Can you make this non-hidden?

Sorry if I haven't been clear about the policy for these. A good rule of thumb is to consider whether the flag may be useful in contexts other than debugging souper itself.