Add option to enable / disable SMT statistics (disabled by default)

When SMT stats and SMT highlighting are disabled - function is not called at all.

Closes: #35 (closed)