QuickCheck tests and some tree traversals.