se_all32bitopcodes: mark certain block of insns as invalid under sim Are these actually invalid? Or is the sim getting it wrong?