fix TreeArbitrary

previous version generates too large Tree
enable Tree traverse1 test