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

Reviewed by Georg.