Move the 'verify' flag to buildProgram().

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 c353d7fa773df5e678b399c9289cd1480bc9377f..2a976f2f51bc9092813467d65ef7df625fb701c4 100644
--- a/pkg/front_end/lib/src/fasta/compile_platform.dart
+++ b/pkg/front_end/lib/src/fasta/compile_platform.dart
@@ -80,8 +80,8 @@ Future compilePlatformInternal(CompilerContext c, Ticker ticker, Uri patchedSdk,
   await kernelTarget.writeOutline(outlineOutput);
 
   if (exitCode != 0) return null;
-  var program = await kernelTarget.buildProgram();
+  var program = await kernelTarget.buildProgram(verify: c.options.verify);
   if (c.options.dumpIr) printProgramText(program);
-  await kernelTarget.writeProgram(fullOutput, verify: c.options.verify);
+  await kernelTarget.writeProgram(fullOutput);
   await kernelTarget.writeDepsFile(fullOutput, deps);
 }