Tue Jan 24 20:52:09 GMT 2012 Brian Warner <warner@lothar.com>

Tue Jan 24 20:52:09 GMT 2012  Brian Warner <warner@lothar.com>
  * Ensure that verification proceeds and stops when appropriate.

  The removed assertions are appropriate for a download that seeks to
  return plaintext to a caller; if we don't have at least k active remote
  shares, then we can't hope to do that. They're not appropriate for a
  verification operation; a user can try to verify a file that has fewer
  than k shares available, so that shouldn't be treated as an error.
  Instead, we proceed with fewer than k shares, and ensure that we
  terminate the download if we have no shares at all and we're verifying.