Update test suite

1. Most of the tests currently present are end-to-end tests. While I think it would be nice to have unit tests, I'm not sure what unit tests would be useful...

2. Should we have example-based tests in addition to property-based tests?