Random Testing for .NET