FramePump typedef
Pumps the tree to frame n and returns once that frame is fully built —
the host (a widget test, the capture harness, the off-screen web/mobile
driver) owns the pumping mechanics.
Implementation
typedef FramePump = Future<void> Function(int frame);