Type-safe assertion utilities for defensive programming.