Add test for #8455.
Add new test for the second round of #7667
Update tests to reflect new check for GeneralizedNewtypeDeriving
Wibbles to output regarding role annotations.