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

* commit '52271936367b5be48ec3c49bf567167c7d6c4044':
  Fix mismatched new[] delete in verifier.

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