Implement nested switches and missing switch continue targets.

pkg/front_end/lib/src/fasta/compile_platform.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.
 
 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;
 
 import 'compiler_command_line.dart' show CompilerCommandLine;
 
 import 'compiler_context.dart' show CompilerContext;
 
 import 'errors.dart' show InputError;
 
@@ skipping 38 matching lines @@
 
   DillTarget dillTarget = new DillTarget(ticker, uriTranslator);
   KernelTarget kernelTarget =
       new KernelTarget(dillTarget, uriTranslator, c.uriToSource);
 
   kernelTarget.read(Uri.parse("dart:core"));
   await dillTarget.writeOutline(null);
   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);
 }