ivory-opts: add AddrOfGlobal AST to opts modules.