add analyzer.ml
blockify first expression of TTry
generate explicit blocks for TSwitch cases
initial
structure
flatten
nicer
use __keys__ in IntMap so we can detect the untypedness
still need promote_complex_rhs
local ssa
move binop optimization to own function
disable other optimizer
progress
progress
local DCE
progress
do not generate `return call()` during bind-typing when the return type is Void
Merge branch 'analyzer-ssa' into genc

Conflicts:
	Makefile
	analyzer.ml
	filters.ml
	tests/optimization/src/Test.hx