Change the invariant failure message

The "by the current transaction" bit was a bit misleading when the invariant in question was one proposed during the current transaction.