Add test properties for splitRoot.
Remove the ordering guarantee for IntSet and IntMap.
(Negative numbers screw it up.)