optimize num >> num in js optimizer, necessary for asm now that we do not do shift optimization there