visitor: Make node address strings be hex
semantic: Move ensureResolved to util
semantic: Remove bogus case
semantic: Remove TypeVerifier
ir: Remove fields used by type verifier