add support for profiling souper optimizations

increment a redis variable any time optimized code executes
I still don't get what the distinction between ```SCLANG_*``` and ```SOUPER_*``` is here. I would just name them all ```SOUPER_``` since it seems like an implementation detail that some vars are dealt with by sclang.