Added Unsafe unit test
Merge remote-tracking branch 'origin/bleeding_edge' into bleeding_edge
Added back the Exi like compacter.
Cleanup code
Added devirtualization and program wide optimization support.
Added also unsaved files :(
Added a wider context sensitive devirtualization: if _this pointer is stricter subset than the base class and there is no subclass implementation of that type, it is safe to devirtualize the method.
Small cleanup