Corrected a bug in range_bits_cover() in bitband.c, r.hi/r.lo was
mistakenly written as border in the lese branches. This correction
help reduce #nodes by 30%. But big nodes after level 3 still exists,
need handle it tomorrw.
Range redundancy is not correct, need to rewrite this part.