Writing Better Tests Than Humans Can Part 1: FsCheck Property Tests in C#