Print values of operands of expressions in assertions

[griwes]

Steal the general idea of printing not only the expressions, but also concrete values in assertions (definitely in MAYFLY_CHECK and MAYFLY_REQUIRE; possibly also in others).