More sign-extension related fixes
More xsthammer improvements