Analyzer: fix misuse of "for-in" (instead of "for-of").
Analyzer: make stack traces optional instead of disabling them.
Analyzer: small fix for the optimization in toSubString.
Analyzer: remove a small piece of old code.
CodeGen: remove frozenValue from RegisterFrozen*, as it was only keeping garbage reachable.