Employ ScalaCheck. Change naming rule of test files. Close #31