Update type for `SAPLING_VERIFY_UPDATE` after Jakarta

type:fixed

For LIGO developers

As reported by Julian in #ligo, there's a bug on the typing of the operation SAPLING_VERIFY_UPDATE.

This MR fixes the bug.

Changelog details: