AVL: added invariants check and size updation and height updation logic