This is awesome, and I'd use it immediately if I could install it on a machine of mine.

One interesting thing to pursue may be memoization for block output (perhaps with limited slots or TTL).