Started to add FsCheck tests in F#