Auto-cleanup properties

This is a proposal for having properties doing some cleanup after a property execution. The implementation is not so pretty (`unsafePerformIO`) but this reduces the burden of having to bracket code with `Temporary.using`.
I am amused that this works, does scalacheck really re-evaluate "const" everytime?