Property-Based Testing with C#