[TASK] Make the Library Async

[iamrecursion]

Description

While we currently have a basic watchdog mechanism allowing the analysis to be terminated in major loops, the nature of that mechanism is fundamentally limited. With any bug that causes the analysis to get stuck in a non-safe pointed loop, the system has no effect.

To that end, it makes most sense to me to make the library async, and to insert yield points into all loops. This means that it can inherently be timed out externally, as timeouts can be polled at any yield point.

Spec

• Make the library async
• Make sure that every loop has at least one point at which it can yield in it.