Finalize design and implementation of IOperation and CFG for async-streams feature

[jcouv]

See tests linking to this issue. The current behavior:

• doesn't reveal that a using or foreach as `await
• doesn't show that MoveNextAsync() or DisposeAsync() are awaited
• references IDisposable instead of IAsyncDisposable