removed ir_vrfy() from optimize_node(), the verifyer runs always after a