Add/improve docstrings for assertions.

The final(?) piece in the puzzle to sort out #884.