Open
Description
The Default dispatcher in JS yields every 16 message, but it is not configurable easily.
This is an issue, because the impact in a browser can be dramatic when a large number of coroutines are manipulating the DOM,
as the browser will repaint every 16 messages.
16 is arbitrary, it is not a good or bad number as such, but since it can have a significant impact on performance, on user-experience, this should be configurable, no?
I suppose we can provide a custom Dispatcher, but the existing ones are fine, but it is internal/private.