Looks like MIPS is the first architecture to have verification which exercises the more flavorful forms of `assert_instr`, so the parsing code for `assert_instr` needed an update. Closes #713
f3414889af