more fixes to DisjointRange merge code (still not right but passing more regtests).