[NEW TYPE INFERENCE]

Better handling of OR, THROW, and INC/DEC.
Enough changes to analyze richards v8 benchmark
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=57382481
Merge remote-tracking branch: upstream/master