ART: Log approximate arena usage for slow verifier runs am: d91f84166a
am: 5aa87a976f

Change-Id: Ibea7dfb488f1425a5d1d1e318d3636081e085875