Merge "Use arenas for the verifier" am: e04f37908b am: 6f787cfeeb
am: b9fc8c70df

* commit 'b9fc8c70dff0a3d3700b540430bd309f0fc26699':
  Use arenas for the verifier