I like both of these suggestions. I use both assertions on revealed types and on yielded errors on the types in phantom-types.
The names are clear to me, and the fact they'd be namespaced under "typing" makes it blatantly clear that they are related to concepts of typing.
I'd suggest defining assert_error() to accept arbitrary kwargs, so that context can be passed in specific for type checkers, e.g.: