new test: immutable AVL tree