turn some checks into assertions, since they are implied by the caller
turn some checks into assertions, since they are implied by the caller

Reviewed by Georg.

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator