Improve assertion API.
Use more verbose assertions.