Missing test suite

There should be a test suite including spec compliance (at least the examples from the spec should be tested verbatim) and some roundtrip tests using quickcheck.

It would be great if an arbitrary was available for other people to use in their tests, but that is a nice to have.