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

pkg/kernel/bin/dartk.dart

 #!/usr/bin/env dart
 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'dart:async';
 import 'dart:io';
 
 import 'batch_util.dart';
 
 import 'package:args/args.dart';
 import 'package:kernel/analyzer/loader.dart';
-import 'package:kernel/checks.dart';
+import 'package:kernel/verifier.dart';
 import 'package:kernel/kernel.dart';
 import 'package:kernel/log.dart';
 import 'package:kernel/target/targets.dart';
 import 'package:path/path.dart' as path;
 
 // Returns the path to the current sdk based on `Platform.resolvedExecutable`.
 String currentSdk() {
   // The dart executable should be inside dart-sdk/bin/dart.
   return path.dirname(path.dirname(path.absolute(Platform.resolvedExecutable)));
 }
@@ skipping 27 matching lines @@
       allowMultiple: true,
       help: 'A custom url mapping of the form `<scheme>:<name>::<uri>`.')
   ..addFlag('verbose',
       abbr: 'v',
       negatable: false,
       help: 'Print internal warnings and diagnostics to stderr.')
   ..addFlag('print-metrics',
       negatable: false, help: 'Print performance metrics.')
   ..addOption('write-dependencies',
       help: 'Write all the .dart that were loaded to the given file.')
-  ..addFlag('sanity-check', help: 'Perform slow internal correctness checks.')
+  ..addFlag('verify-ir', help: 'Perform slow internal correctness checks.')
   ..addFlag('tolerant',
       help: 'Generate kernel even if there are compile-time errors.',
       defaultsTo: false)
   ..addOption('D',
       abbr: 'D',
       allowMultiple: true,
       help: 'Define an environment variable.',
       hide: true)
   ..addFlag('show-external',
       help: 'When printing a library as text, also print its dependencies\n'
@@ skipping 249 matching lines @@
     getLoadedFiles = () => loadedFiles ??= loader.getLoadedFileNames();
   }
 
   bool canContinueCompilation = errors.isEmpty || options['tolerant'];
 
   int loadTime = watch.elapsedMilliseconds;
   if (shouldReportMetrics) {
     print('loader.time = $loadTime ms');
   }
 
-  void sanityCheck() {
-    if (options['sanity-check']) {
-      runSanityChecks(program);
+  void runVerifier() {
+    if (options['verify-ir']) {
+      verifyProgram(program);
     }
   }
 
   if (canContinueCompilation) {
-    sanityCheck();
+    runVerifier();
   }
 
   String outputDependencies = options['write-dependencies'];
   if (outputDependencies != null) {
     new File(outputDependencies).writeAsStringSync(getLoadedFiles().join('\n'));
   }
 
   // Apply target-specific transformations.
   if (target != null && options['link'] && canContinueCompilation) {
     target.transformProgram(program);
-    sanityCheck();
+    runVerifier();
   }
 
   if (options['no-output']) {
     return CompilerOutcome.Ok;
   }
 
   watch.reset();
 
   Future ioFuture;
   if (canContinueCompilation) {
@@ skipping 15 matching lines @@
 
   await ioFuture;
 
   if (shouldReportMetrics) {
     int flushTime = watch.elapsedMilliseconds - time;
     print('writer.flush_time = $flushTime ms');
   }
 
   return errors.length > 0 ? CompilerOutcome.Fail : CompilerOutcome.Ok;
 }