Lint the test suite with shellcheck

Currently, we have some integration tests written in Bash. We do not run these under shellcheck yet, but might want to do that as part of our CI pipeline.

Another option: move these to Python or Haskell. They are getting a bit large, and adding tests currently involves a lot of boilerplate.