Add an erasure postulate for unsafePerformPrimIO

Fixes christiansen's quickcheck trouble.