Property Based Test With AutoFixture and Xunit