add support for profiling souper optimizations

increment a redis variable any time optimized code executes
I think this would be fixed by only linking the library into executables per my other comment.