Updated ScalaTest and ScalaCheck.

General algorithm for MDDs by default.