Added the FsCheck package
Move some of the old tests to fscheck