Fix a few more bugs

- Some missing lane indices
- The logic that predicated whether the sum was odd was backward for subtract (I considered
the fact that it inverts the second parameter, but not the carry in, which cancels it)
- The post normalization rounding can only round towards even (rather than always rounding up)