Functional tests on saturation arithmetic vectorization.
