ScalaCheck + ScalaTest で Property-Based Testing する