Generate random tries that break max=10 test.
Separate code and spec into two files