Refactor shuffle to implement Fisher Yates algorithm

[mchav]

We can implement this directly within ST so we don't allocate an intermediate linked list.

[daikonradish]

btw, this is a good opportunity for someone to understand the ST monad!

[kayvank]

I'd like to work on this task please. Here is my Draft WIP PR #172
I still need to write tests for the PR