add support for profiling souper optimizations

increment a redis variable any time optimized code executes
I agree, and I first tried making this static, but a subsequent LLVM build failed with an error saying more or less "recompile library with -fPIC" -- not sure what is the root cause.