Writing Better Tests Than Humans Can Part 2: Model-based Tests with FsCheck in C#