Property based testing really is getting some great results.