Auditor’s report says HMRC was right to take £1.25 billion settlement as pursuing the £6 billion it claimed Vodafone owed through the courts could have ended in defeat