Fun with scalatests PropertyChecks