DAVL-1: fix rank calculation in split
DAVL-1: maintain invariant in join