Merge "Use arenas for the verifier"
am: e04f37908b

* commit 'e04f37908bfd72382163c1285853e662373229a2':
  Use arenas for the verifier