Start test suite for parsers

Add a test suite to the cabal file and begin implementing QuickCheck properties
for the Parse module. This includes:

- Arbitrary instances for some of the Syntax data types.
- A property to check the pretty-print/parse round-trip.