(Binary Analysis) Make instruction semantics API2 more like API1

An x86 addressing mode that includes a multiplication, as in
  cmp eax, DWORD PTR dd:[ebp+ebx*4]

does the multiplicating using the bit sizes of its two operands,
such as 32 and 8 in this example, rather than extending both to
the same size first.  This matches the behavior of the old API.
(Binary Analysis) Symbolic semantics output for API2
(Binary Analysis) Adjustments to SymbolicSemantics memory for API2

The readMemory() now assumes 8-bits per memory cell value.
(Binary Analysis) Shift/rotate no-op cases for symbolic semantics

Shift is a no-op if the shift amount is known to be zero.

Rotate is a no-op if the rotate amount is zero modulo the operand
width.
(Binary Analysis) Documentation
(Binary Analysis) Test answer for API2 SymbolicSemantics w/out SMT solver

These test results have been verified against the API1 results. The def-use
values were are not yet verified.