When Checking Costs More Than Running