(Binary Analysis) Changed use-def for memory/register I/O

These changes affect the SymbolicSemantics2 use-def lists:

* readRegister and readMemory do not add the current instruction
  to the list of definers for the value read from the register
  or memory.

* writeRegister and writeMemory add the current instruction to
  the list of definers for the value written to the register or
  memory.

* all four methods take care not to add the current instruction
  as a definer for register or memory locations that are adjusted
  due to the operation.  E.g., the high-order bytes of EAX are
  not affected when writing to AX.