tsan: print statistics about benign race annotations
(total count, unique, matched) if requested with print_benign=1
flag.