Moving an assertion from erasure to TreeChecker.

The move caught an illegal erased type in a SelectFromType node.