Add some tests!

This adds some basic contract-verifying Bats tests.