Begin the loop identification process with the data structures and fundamental methods of back edge discovery.

Build RTLs for dryrun lib opcodes; fix uninit vars and clean up code; start mul by large const idiom recognition.

Reduce SMPInstr memory by pulling disasm text into a global shared object, produced on demand per address.

Infer that registers with MEDS type of data or code ptr must be unsigned, handle 10-byte FPU operands.

detection that emits TRUNCATION annotations.

Fix incomplete assignment operators used in copy constructors; fix algorithm for detecting aliased mem writes in global DU chains.

Fix infinite loops and crashes related to unreachable blocks and SSE/MMX instructions and registers.