Fix effective_address overflow check
Fix effective_address overflow check

naturaltransformation/spec,AndrewScheidecker/WebAssembly-spec,naturaltransformation/spec,pjuftring/spec,pjuftring/spec,AndrewScheidecker/WebAssembly-spec