Interesting approach with the recompiler, this makes the library very powerful.
In Efx - A library to declaratively write testable effects we used process dictionaries to achieve async testing. What mechanism do you use?
You may want to add this library to your comparison as it is very very similar. It is more lightweight but we need to be explicit in code, about what we want to be bindable.
