Does the lack of forward progress guarantees (ITS) on other architectures pose challenges for async/await?