Rewrote insertionsort1 with Writer monad and QuickCheck