pub(super) fn valid_transaction_ios_number<P>(
    tx: &TransactionSlice<'_, P>
) -> Result<(), TxVerifyError>