what is the performance measuring tool Luke Hoban is using in https://github.com/pulumi/pulumi/issues/3671?