ScalaCheck support

First ScalaCheck support.

Breaking change: Property syntax is changed to ScalaCheck style.It should return just a boolean value.

before:

    prop> (i: Int) => i + i should === (i * 2)

after:

    prop> (i: Int) => i + i == i * 2

The default framework is changed to ScalaCheck. Less dependencies are better.