hotfix assertions and verification with uppercase domains

@jrgm r?