Would be cool if you guys could work with it too! I think even if you have little interest in it as a replacement for your own consensus code, it might still be interesting as a tool to improve robustness.