Allow explicit naming of assertions.

By default, we'll still use assertion location as a name, but allow explicit naming for those who want it.