add config option to disable sanity checks for faster execution

config.h

@@ -2,6 +2,7 @@
 #define PAGE_REPLACEMENT_ALGORITHM 2
 #define WSCLOCK_TIME_WINDOW 1500
 
+#define SANITY_CHECK_ENABLED 1
 #define VERBOSE_SANITY_CHECK 0
 
 #define WS_CHANGE_INVERSE_CHANCE 1000

src/kernel.c

@@ -113,7 +113,9 @@ RUNQ_remove_current_process(void)
 			cp = cp->next;
 		}
 
+#if SANITY_CHECK_ENABLED == 1
 		KERNEL_sanity_check_memory_lists();
+#endif
 
 		if ((cp == starting_page) || (!cp))
 			break;
@@ -242,7 +244,9 @@ page_replacement_resolved:
 		#endif
 	}
 
+#if SANITY_CHECK_ENABLED == 1
 	KERNEL_sanity_check_memory_lists();
+#endif
 }
 
 void KERNEL_update_job(size_t page_amount)