Changed import in tests to make backwards compatible.

Older versions of Test.QuickCheck.Property did not contain
abort, which had resulted in a compiler error.