Updating: improving libats/linmap_avltree.