Add --verify-ir flag to dartk and test.py.

pkg/kernel/test/verify_bench.dart

Index: pkg/kernel/test/verify_bench.dart
diff --git a/pkg/kernel/test/check_bench.dart b/pkg/kernel/test/verify_bench.dart
similarity index 78%
rename from pkg/kernel/test/check_bench.dart
rename to pkg/kernel/test/verify_bench.dart
index 5c317592933d6ec87a2307fb629e75161aabf31c..17fd65d30aabe8d8dc653f1066c60e6685ac494f 100644
--- a/pkg/kernel/test/check_bench.dart
+++ b/pkg/kernel/test/verify_bench.dart
@@ -3,13 +3,14 @@
 // BSD-style license that can be found in the LICENSE file.
 
 import 'dart:io';
-import 'package:kernel/checks.dart';
+
 import 'package:kernel/kernel.dart';
+import 'package:kernel/verifier.dart';
 
 final String usage = '''
-Usage: check_bench FILE.dill
+Usage: verify_bench FILE.dill
 
-Measures the time it takes to run sanity checks on the given program.
+Measures the time it takes to run kernel verifier on the given program.
 ''';
 
 main(List<String> args) {
@@ -19,16 +20,16 @@ main(List<String> args) {
   }
   var program = loadProgramFromBinary(args[0]);
   var watch = new Stopwatch()..start();
-  runSanityChecks(program);
+  verifyProgram(program);
   print('Cold: ${watch.elapsedMilliseconds} ms');
   const int warmUpTrials = 20;
   for (int i = 0; i < warmUpTrials; ++i) {
-    runSanityChecks(program);
+    verifyProgram(program);
   }
   watch.reset();
   const int numberOfTrials = 100;
   for (int i = 0; i < numberOfTrials; ++i) {
-    runSanityChecks(program);
+    verifyProgram(program);
   }
   double millisecondsPerRun = watch.elapsedMilliseconds / numberOfTrials;
   print('Hot:  $millisecondsPerRun ms');