Rewrote case splitting routines. Can be enabled by changing default_split_depth and default_split_breadth in main.py to 3 and 10.