Add operator strength reduction
Add unreachable block elimination
Add SSA simplifier (stub)