check that virtual addresses are sign-extended