Add new test for #8020.
Add tests for roles.

Many of the files modified are just wibbles to output, because now
tycons have roles attached to them, which are produced in the debugging
dumps.
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
Merge branch 'master' into roles