Rigorous Verification of Results: Value for Money or Waste of Time?