These bugs are clear barriers to using Koka in production, but require more work to debug, and aren't critical to releasing Async.