Fix benchmark with new lazy Result