tests: simplify some accesses to insn's details, and fix some typo bugs