incomplete effort in proving avl_tree insert/delete

@andreistefanescu please review