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

pkg/kernel/bin/transform.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 'package:args/args.dart';
-import 'package:kernel/checks.dart';
+import 'package:kernel/verifier.dart';
 import 'package:kernel/kernel.dart';
 import 'package:kernel/transformations/continuation.dart' as cont;
 import 'package:kernel/transformations/infer_values.dart' as infer_values;
 import 'package:kernel/transformations/mixin_full_resolution.dart' as mix;
 import 'package:kernel/transformations/treeshaker.dart' as treeshaker;
 
 import 'batch_util.dart';
 
 ArgParser parser = new ArgParser()
   ..addOption('format',
@@ skipping 51 matching lines @@
     case 'resolve-mixins':
       program = mix.transformProgram(program);
       break;
     case 'treeshake':
       program = treeshaker.transformProgram(program);
       break;
     default:
       throw 'Unknown transformation';
   }
 
-  runSanityChecks(program);
+  verifyProgram(program);
 
   if (format == 'text') {
     writeProgramToText(program, path: output);
   } else {
     assert(format == 'bin');
     await writeProgramToBinary(program, output);
   }
 
   if (verbose) {
     writeLibraryToText(program.mainMethod.parent as Library);
   }
 
   return CompilerOutcome.Ok;
 }