Change assembler checks to asserts