Split fixes.
Fix reductions.
Improves split heuristics.