basic scalacheck test outline (not working)