Seperate the Quickcheck instances to a different folder, and move the quickcheck dependency to dev