add/test jnz; fix a bug in offset sign-extension (reverse jumps)