am 1ae9612b: am 52271936: Merge "Fix mismatched new[] delete in verifier."
am 1ae9612b: am 52271936: Merge "Fix mismatched new[] delete in verifier."

* commit '1ae9612b0e7cce3a00b2413da07d426529d14b1f':
  Fix mismatched new[] delete in verifier.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst