Release 1.3.0

- async job picker: over-fetch and shuffle candidates, and let a worker that
  loses the atomic claim try the next candidate within the same poll, so a
  burst arriving at N idle instances no longer gets only one instance's worth
  of jobs claimed per round
- the validation budget deadline is armed only after the claim is won