Add a projection to the probability simplex, and a test for it.