Perform compile-time check for do-while loop without a yield

[tom131313]

Coroutine while loops are checked for no yield. A do{}while(true); should have the same check.