Adding tests for Arrays that use quickcheck to compare arrays with a reference implementation (from the Haskell report).