using ScalaCheck properties for dice checks