Merge "Fix mismatched new[] delete in verifier."