Fully reduce sampled ternary vectors.

[dfaranha]

This patch fully reduces sampled ternary vectors, to prevent a residue modulo p_i from being assigned (p_i + 1) after sampling. I needed this to have proper norm checks that relied on all residues being fully reduced, so I'm sending it upstream.