We used to have Travis running tests automatically on PRs. It doesn't do that anymore. We should fix that.