Property based testing in .Net