One thing that severely hinders assertion strings is that people can't seem to decide whether the string should state the intended case or the failure case.

By contrast, being able to dump out the inputs to the failing expression is always useful. This is mostly discussed in the context of test-suite asserts, but should probably be generalized.