#15: Removing the unused Tree.size()

There were two implementations - Tree.size() and Tree.depth().  Removing
one of them.