Emit basic annotations and STARScallreturn annotations for unreachable, removed code, because the unreachable determination might be due to IDA errors.

Fixes for idapro 6.4;  allins.h seems to not be something one should include directly, include intel.h instead.

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.