[ test ] adding a test for `transpose`

Beware: `transpose` trims the tree; therefore it is not necessarily
the case that `transpose . transpose` is the identity. I'm modifying
some of the Testing machinery to make sure that we are able to produce
zero-free trees.
Also, we now have a trimming function (as well as various mapping
functions).