diff --git a/Makefile b/Makefile
index 4f2bb512a..697d2eec0 100644
--- a/Makefile
+++ b/Makefile
@@ -32,8 +32,8 @@ ENABLE_PYOSYS := 1
 # other configuration flags
 ENABLE_GCOV := 0
 ENABLE_GPROF := 0
-ENABLE_DEBUG := 0
-ENABLE_NDEBUG := 1
+ENABLE_DEBUG := 1
+ENABLE_NDEBUG := 0
 ENABLE_CCACHE := 0
 # sccache is not always a drop-in replacement for ccache in practice
 ENABLE_SCCACHE := 0
diff --git a/verific b/verific
index d4f910a07..c75cd7aa1 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit d4f910a07502427a27c2d0d3c3d71a1655eff52a
+Subproject commit c75cd7aa1804ab553c26062dc37bec7108b83240