switch off scheduler_doforcesplit by default, as this can cause problems elsewhere.

Former-commit-id: e61f0acc0684292c6592f56da3383a4eecfdcd2d

src/scheduler.h

@@ -24,7 +24,7 @@
 #define scheduler_dosub                      1
 #define scheduler_maxsteal                   10
 #define scheduler_maxtries                   2
-#define scheduler_doforcesplit               1
+#define scheduler_doforcesplit               0
 
 /* Flags . */
 #define scheduler_flag_none                  0