Add a test suite using QuickCheck.
Update README with current building and testing commands.