Wow.
I would think that anyone with any computer skills at all, let alone a CS degree, would believe that a compiler can translate any source code to any common machine language.
One of the ultimate examples of this is Digital's GEM compiler technology - a suite of compilers that feature a front end that translates the source language to intermediate language (IL), an optimization engine that optimizes the intermediate language, and a back end that generates the machine language for whichever target processor.
When VMS moved from VAX to Alpha - the million(s) lines of VAX Macro assembly code weren't changed. Digital didn't rewrite the VAX assembly code - they added a VAX Macro to IL front end to GEM so that the assembly code would generate optimized Alpha code. (And I expect today, with VMS running on IA64 systems, that much of the VAX Macro code that I wrote in the mid 80's is still running on Itanium systems.)
So, I think that the claim that "Flash was never designed for an ARM instruction set" is ultimate silliness. Search Yahoo! for "turing complete" to understand just how silly....
You are right. IMHO Flash Player should not have much code in assembler and not even much code that's OS dependent. If it has much of this stuff, it is badly programmed.