Testing and CI

This page should describe how to run the test suite (in tests/), any linting or formatting checks, and how continuous integration is configured for the project.