Implement nested switches and missing switch continue targets.

pkg/front_end/lib/src/fasta/compile_platform.dart

Index: pkg/front_end/lib/src/fasta/compile_platform.dart
diff --git a/pkg/front_end/lib/src/fasta/compile_platform.dart b/pkg/front_end/lib/src/fasta/compile_platform.dart
index 879d08dcf29f9155e018da08f1d7d83c408c1356..5b92567a9b0a4a9c90c7d6637bd7705b2040417f 100644
--- a/pkg/front_end/lib/src/fasta/compile_platform.dart
+++ b/pkg/front_end/lib/src/fasta/compile_platform.dart
@@ -6,8 +6,6 @@ library fasta.compile_platform;
 
 import 'dart:async' show Future;
 
-import 'kernel/verifier.dart' show verifyProgram;
-
 import 'ticker.dart' show Ticker;
 
 import 'dart:io' show exitCode;
@@ -66,22 +64,7 @@ Future compilePlatform(CompilerContext c, Ticker ticker) async {
   await kernelTarget.writeOutline(output);
 
   if (exitCode != 0) return null;
-  if (c.options.dumpIr) {
-    kernelTarget.dumpIr();
-  }
-  if (c.options.verify) {
-    try {
-      verifyProgram(kernelTarget.program);
-      ticker.logMs("Verified program");
-    } catch (e, s) {
-      exitCode = 1;
-      print("Verification of program failed: $e");
-      if (s != null && c.options.verbose) {
-        print(s);
-      }
-    }
-  }
-  if (exitCode != 0) return null;
-  await kernelTarget.writeProgram(output);
+  await kernelTarget.writeProgram(output,
+      dumpIr: c.options.dumpIr, verify: c.options.verify);
   await kernelTarget.writeDepsFile(output, deps);
 }