Merge change 1170

* changes:
  Added throw-verification-error instruction.