add support for profiling souper optimizations

increment a redis variable any time optimized code executes
How about the global constructors themselves, hopefully they are guaranteed to execute in a single-threaded environment?