Should explain the sync algorithm in `x/sync/README.md` including the message types, when they're sent, how they're processed, etc.