Tests for the main Zandy code.

This is part of the Zandy project; see https://github.com/ajlyon/zandy for more.
