We were previously unconditionally using the ARM::TRAP opcode, even under Thumb. My understanding is that these are essentially the same thing (they both result in a trap under Thumb), but the ARM::TRAP opcode is marked as requiring IsARM, so it is more correct to use ARM::tTRAP.
The only test here just updates a case of the wrong code being used. The idea is to attempt to enable PREDICATE_VERIFIER for the arm target, which will test this kind of thing more thoroughly. There are some mulv5 vs mul and global ISel problems to sort out first though.