Explicitly setting story names for thread_times benchmarks

tools/perf/page_sets/tough_scrolling_cases.py

 # Copyright 2014 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 from telemetry.internal.actions import page_action
 from telemetry.page import page as page_module
 from telemetry import story
 
 
 class ToughFastScrollingCasesPage(page_module.Page):
 
@@ skipping 13 matching lines @@
           speed_in_pixels_per_second=self.speed_in_pixels_per_second,
           synthetic_gesture_source=self.synthetic_gesture_source)
 
 class ToughScrollingCasesPageSet(story.StorySet):
 
   """
   Description: A collection of difficult scrolling tests
   """
 
   def __init__(self):
-    super(ToughScrollingCasesPageSet, self).__init__()
+    super(ToughScrollingCasesPageSet, self).__init__(verify_names=True)
 
     fast_scrolling_page_name_list = [
       'text',
       'text_hover',
       'text_constant_full_page_raster',
       'canvas'
     ]
 
     fast_scrolling_speed_list = [
       5000, 10000, 15000, 20000, 30000, 40000, 50000, 60000, 75000, 90000
     ]
 
     for name in fast_scrolling_page_name_list:
       for speed in fast_scrolling_speed_list:
         synthetic_gesture_source = page_action.GESTURE_SOURCE_DEFAULT
         if "hover" in name:
           synthetic_gesture_source = page_action.GESTURE_SOURCE_MOUSE
         self.AddStory(ToughFastScrollingCasesPage(
           'file://tough_scrolling_cases/' + name + '.html',
           name + '_' + str(speed).zfill(5) + '_pixels_per_second',
           speed,
           self,
           synthetic_gesture_source))