More rigorous sh_addr and sh_offset checking