Saturation arithmetic.

Saturation arithmetic, which supports uniform/varying signed/unsigned int8/16 and based on sse2 intrinsics, was added.