Split up the test modules
Add some basic tests for roundtrips via GHC generics