report statistics about souper internal stuff

Report statistics about cache hits/misses, satisfiable/unsatisfiable queries, etc.

Invoke souper with "-stats" to see the stats.  Invoke the Clang Pass with "-mllvm
-stats".
Similarly, it might be simpler to increment the statistics directly in isSatisfiable instead of introducing a helper function.