Tests

[tomsmeding]

While there technically are some cabal test-suite stanzas (1, 2), they require quite a bit of manual involvement to use properly, and don't really test a lot.

Easy-to-run integration tests, as well as property tests for the internals when applicable, would be quite welcome!