Fix %SIGNED-MULTIPLY-HIGH's VOPless version.

In the previous code, the result was off by one when the product was
0 or negative and divisible by 2^W. Fix this by adding 1 when either
happens.
Some minor fixes.

Remove some unnecessary code, change the signed mul-by-frac generator
to use fewer shifts for fixnums.