The Property tests are currently run synchronously with no way to interrupt after a timeout. It would be nice if they implemented some sort of timeout functionality (XUnit v3 does this by using Task.WaitAny on both the test task and a Task.Delay(timeout)), so that Property(Timeout=1000) actually worked.