updated testsuite with FsCheck tests