code: func opcodeVerify(op *parsedOpcode, vm *Engine) error {
  	return abstractVerify(op, vm, ErrVerify)
  }
docs: // opcodeVerify examines the top item on the data stack as a boolean value and
  // verifies it evaluates to true.  An error is returned if it does not.