The current implementation of frame allocator does not reliable dealloc coroutines in the correct order. This issue is described in detail by @MungoG in the following gist.
A potential solution discussed was to reference count the frame allocator, which did seem to solve the issue. We would like to explore other strategies of ensuring correct deallocation.