fix TreeArbitrary

previous version generates too large Tree
enable Tree traverse1 test
Merge pull request #543 from xuwei-k/tree-arb

fix TreeArbitrary. enable Tree traverse1 test