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

pkg/kernel/bin/transform.dart

Index: pkg/kernel/bin/transform.dart
diff --git a/pkg/kernel/bin/transform.dart b/pkg/kernel/bin/transform.dart
index 01be6b6390065abcfa077727d9c8be97de24fe4d..680a760566ad92a1eb001fa5810c2583a1b2c02f 100755
--- a/pkg/kernel/bin/transform.dart
+++ b/pkg/kernel/bin/transform.dart
@@ -7,7 +7,7 @@ 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;
@@ -79,7 +79,7 @@ Future<CompilerOutcome> runTransformation(List<String> arguments) async {
       throw 'Unknown transformation';
   }
 
-  runSanityChecks(program);
+  verifyProgram(program);
 
   if (format == 'text') {
     writeProgramToText(program, path: output);