[FUZZER]

Add typing rules in order to:

- avoid the compiler crash on
someLabel: while(void(xxx)) {}

- make the right operand of "instanceof" function, and the right operand of "in" object in strict mode, in order to reduce runtime errors
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=58475157
[NEW TYPE INFERENCE]

- Avoid creating debugging strings when not debugging.
- Analyze loops and IF in the bwd direction.
- Analyze THROW in fwd.
- Fix bugs to analyze the v8 tests without crashing.
* Don't loosen nominal types
* Don't crash on FOR/IN, SWITCH, EMPTY expression, IN, DELPROP
* Don't crash on functions that only exit using THROW
* Don't specialize qualified names at comparison operators
* arg types on deferred check may be updated multiple times
-------------
Created by MOE: http://code.google.com/p/moe-java
MOE_MIGRATED_REVID=58477220