Added array.jumble().
Arrays these days are too well sorted. This mixes it up a bit.