In era-avl.js, made lazy thunks asynchronous since finger trees need lazy thunks that take more than constant time.