Provide a non-strict property check

Sometimes I want to compare properties in a non-strict way, but would like to keep the notation.
Besides, I'd like to see the actual value of the property right away, hence the change in output for an AssertionError.