added isWellFormed test to BTree/BTreeTest