Implement nested switches and missing switch continue targets.

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

Index: pkg/front_end/lib/src/fasta/fasta.dart
diff --git a/pkg/front_end/lib/src/fasta/fasta.dart b/pkg/front_end/lib/src/fasta/fasta.dart
index 424cfcc58cca473debf697d6f30133dd23b3f72a..02d1891fa443c2ee8edc224ac9f37ac36154a6c7 100644
--- a/pkg/front_end/lib/src/fasta/fasta.dart
+++ b/pkg/front_end/lib/src/fasta/fasta.dart
@@ -16,8 +16,6 @@ import 'package:kernel/kernel.dart' show Program;
 
 import 'package:kernel/target/targets.dart' show Target, TargetFlags, getTarget;
 
-import 'kernel/verifier.dart' show verifyProgram;
-
 import 'compiler_command_line.dart' show CompilerCommandLine;
 
 import 'compiler_context.dart' show CompilerContext;
@@ -144,22 +142,8 @@ class CompileTask {
     KernelTarget kernelTarget = await buildOutline();
     if (exitCode != 0) return null;
     Uri uri = c.options.output;
-    await kernelTarget.writeProgram(uri);
-    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);
-        }
-      }
-    }
+    await kernelTarget.writeProgram(uri,
+        dumpIr: c.options.dumpIr, verify: c.options.verify);
     return uri;
   }
 }