diff --git a/Makefile b/Makefile
index 697d2eec0..4f2bb512a 100644
--- a/Makefile
+++ b/Makefile
@@ -32,8 +32,8 @@ ENABLE_PYOSYS := 1
 # other configuration flags
 ENABLE_GCOV := 0
 ENABLE_GPROF := 0
-ENABLE_DEBUG := 1
-ENABLE_NDEBUG := 0
+ENABLE_DEBUG := 0
+ENABLE_NDEBUG := 1
 ENABLE_CCACHE := 0
 # sccache is not always a drop-in replacement for ccache in practice
 ENABLE_SCCACHE := 0
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 88dd87492..fd43c8b05 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3641,7 +3641,7 @@ struct VerificPass : public Pass {
 			const char* arg = args[argidx].c_str();
 
 			// Set relaxed language checking
-    	VeriNode::SetRelaxedChecking(1);
+			VeriNode::SetRelaxedChecking(1);
 
 			// Define macros
 			hdl_file_sort::DefineMacro("SYNTH");
diff --git a/verific b/verific
index c75cd7aa1..a8cbd92ed 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit c75cd7aa1804ab553c26062dc37bec7108b83240
+Subproject commit a8cbd92ed66fdbc6a267f5b2332daac9cb4a8d98