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

* commit '6f787cfeebbbe350f0069b806025e83feaceac51':
  Use arenas for the verifier