diff --git a/include/swift/AST/IRGenOptions.h b/include/swift/AST/IRGenOptions.h
index d05d7c96e51d8..66dfe888328f9 100644
--- a/include/swift/AST/IRGenOptions.h
+++ b/include/swift/AST/IRGenOptions.h
@@ -606,7 +606,7 @@ class IRGenOptions {
 
   IRGenOptions()
       : OutputKind(IRGenOutputKind::LLVMAssemblyAfterOptimization),
-        Verify(true), VerifyEach(false), OptMode(OptimizationMode::NotSet),
+        Verify(true), VerifyEach(true), OptMode(OptimizationMode::NotSet),
         Sanitizers(OptionSet<SanitizerKind>()),
         SanitizersWithRecoveryInstrumentation(OptionSet<SanitizerKind>()),
         SanitizeAddressUseODRIndicator(false), SanitizerUseStableABI(false),
diff --git a/include/swift/AST/SILOptions.h b/include/swift/AST/SILOptions.h
index 4b75884d90175..115adb68966fa 100644
--- a/include/swift/AST/SILOptions.h
+++ b/include/swift/AST/SILOptions.h
@@ -160,10 +160,10 @@ class SILOptions {
   bool EnableWMORequiredDiagnostics = true;
 
   /// Controls whether or not paranoid verification checks are run.
-  bool VerifyAll = false;
+  bool VerifyAll = true;
 
   /// Verify ownership after every pass.
-  bool VerifyOwnershipAll = false;
+  bool VerifyOwnershipAll = true;
 
   /// If true, no SIL verification is done at all.
   bool VerifyNone = false;
diff --git a/lib/SIL/IR/SILPrinter.cpp b/lib/SIL/IR/SILPrinter.cpp
index 359d02b29a8d3..82aae92cbd819 100644
--- a/lib/SIL/IR/SILPrinter.cpp
+++ b/lib/SIL/IR/SILPrinter.cpp
@@ -83,7 +83,7 @@ SILPrintSourceInfo("sil-print-sourceinfo", llvm::cl::init(false),
                    llvm::cl::desc("Include source annotation in SIL output"));
 
 llvm::cl::opt<bool>
-SILPrintTypes("sil-print-types", llvm::cl::init(false),
+SILPrintTypes("sil-print-types", llvm::cl::init(true),
                    llvm::cl::desc("always print type annotations for instruction operands in SIL output"));
 
 llvm::cl::opt<bool>
diff --git a/lib/SIL/Utils/PrettyStackTrace.cpp b/lib/SIL/Utils/PrettyStackTrace.cpp
index bdb983dff3589..5a4f47e6b9b33 100644
--- a/lib/SIL/Utils/PrettyStackTrace.cpp
+++ b/lib/SIL/Utils/PrettyStackTrace.cpp
@@ -25,11 +25,11 @@
 using namespace swift;
 
 llvm::cl::opt<bool>
-SILPrintOnError("sil-print-on-error", llvm::cl::init(false),
+SILPrintOnError("sil-print-on-error", llvm::cl::init(true),
                 llvm::cl::desc("Printing SIL function bodies in crash diagnostics."));
 
 llvm::cl::opt<bool> SILPrintModuleOnError(
-    "sil-print-module-on-error", llvm::cl::init(false),
+    "sil-print-module-on-error", llvm::cl::init(true),
     llvm::cl::desc("Printing SIL module in crash diagnostics."));
 
 static void printLocationDescription(llvm::raw_ostream &out,