execute_alu: whitespace cleanup
execute_alu: simplify (and micro optimize) compare ops

A parallell xor instead of the long adder chain should
be more efficient for a_eq_b.
Checking carry out instead of doing a full a < b
should be more efficient for unsigned a_lt_b.
The change on signed a_lt_b is mostly just eye pleasing.