added option --report-nworst-timing-paths