Add a full test suite with pretty print parsing using quickcheck