Mostly working fix to AVL update bug. No clean way to do the double rotations, sadly.