optimize traverseGenerated
tolerate non-asm variables in asm optimization passes, with no-op coercions (x=x)
support memory growth in (non-validating) asm.js