I agree that adding a message to the assertion would be helpful, and I will add a reference to these bounds on the matrix rank. Nonetheless, there isn't much that you can do if this fails: it's *not* a developer error, it's not a user error, it's just something that has no reason for not succeeding. It seems useful to keep it to help debugging in the future, especially after adding a meaningful message.