Add filtering and backtrack statistics.

Add option for printing filtering and backtrack time statistics.