Log animation performance numbers after zooming

The zoom animations can sometimes feel jerky, this is an attempt at
getting metrics for that.