fix-rename-prefs

This pull request renames the preferences `enableBreakpointDetection` and `enableSingularityDetection` to `splitting` and `blowup`, respectively.  This is _not_ a complete list of rename operations that may take place; however, these two are exceptionally easy to do.