Allow PAssert#that to take a message

This permits users to describe their PAsserts, which should show up in the failure message.

Additionally, the default message of a PAssert failure should contain the name of the input PValue.