Added a new quickCheck-style testing file for the Parser module with one property.