https://github.com/BurntSushi/quickcheck
Would be pretty cool to see someone hook it up to the standard library tests.