working on how to generate boards for quickcheck