swift234

[AST] Assert that TypeRefinementContexts are properly nested.

Devin mentioned this was a valid and assumed property of the type
refinement context hierarchy, so we may as well take precautions
against breaking it.