Change Prop.forAll to check or immediate use of Arbitrary instance
Start Sudoko Test (WIP)