revised  stars/irdb interface to use new operand format, adjusted isWritten to reflect a much larger set of (explicit) no-write instructions

Former-commit-id: 0ceda64ed7acddf6e3af67765312dd483fa38711