xyst

Sync between rk steps in ChoCG

Necessary for correct asynchronous logic, evidenced by failing the
regression test with virtualization (as that has a larger chance of
scheduling tasks in an unordered fashion).