In BatchWriteExec::executeBatch, we should begin tracking WouldChangeOwningShard errors. If a write is retryable and we have tracked WCOS errors, run the transaction logic implemented in SERVER-39841. If this transaction commits successfully, clear the errors.