Added ScalaCheck
Property Based Testing
TODO More Laws