Update has_inputs_and_outputs() for new consensus rules

[oxarbitrage]

Motivation

We need to update Zebra for new consensus rules added to the protocol in regards to orchard flags. Closes #2365

Specifications

• At least one of tx_in_count, nSpendsSapling, and nJoinSplit MUST be non-zero.
• At least one of tx_out_count, nOutputsSapling, and nJoinSplit MUST be non-zero.
• This condition must hold: tx_in_count > 0 or nSpendsSapling > 0 or (nActionsOrchard > 0 and enableSpendsOrchard = 1)
• This condition must hold: tx_out_count > 0 or nOutputsSapling > 0 or (nActionsOrchard > 0 and enableOutputsOrchard = 1)

https://zips.z.cash/protocol/protocol.pdf#txnencodingandconsensus

Solution

Add the new consensus rules into the has_inputs_and_outputs function, update the tests to cover them.

Review

Anyone can review the code initially, before merging @teor2345 should take a look.

Reviewer Checklist

• Code implements Specs and Designs
• Tests for Expected Behaviour
• Tests for Errors

[teor2345]

This PR is good enough to merge now. I'll leave it to @oxarbitrage to make some improvements if he wants.

[oxarbitrage]

I moved the remaining items to new lower priority tickets and enabled auto merge here. Need a new approval.

[teor2345]

This has tests and a follow up ticket, so it's good to go