avltree update

use verifyHeight instead of height when rotating