Check strictness details for Data.Tree instances

I recently fixed a strictness problem affecting an identity law for the `Monad Tree` instance. We should verify that strictness is okay for the associativity law, and similarly check strictness for the `MonadFix` laws. One question is whether list conses should contain thunks that evaluate to trees or the trees themselves.