Simplify travis-ci config
Add regression test for #169
Make internal Tree data structure strict (fixes #169)