test/model is one of our testing frameworks. It would be great to know if we should test our prefetch feature inside it and evaluate the feasibility of it.

Definition of done:

• Is it an idea worth pursuing?
• Estimate the work that needs to be done, eventually re-purpose this ticket to implement it. We could follow the same idea as test/format: if prefetch is available, use it during operations or at least, during verify.