add `seq`, change AsmIR `show`
fix MIPSTest write to file
modify floating point `lnot`