Various fixes, improved tree example.
Merge branch 'experiments' of github.com:lemonidas/QuickChick into experiments