BIP-0117: Change semantics of multi-element tail call to not require stack elements to be exactly 520 bytes in size

This allows for more compact direct encoding of scripts of the form "pick 2 of 3 spend conditions" without enabling witness malleability in expected use cases as the components would still be checked against a pre-committed hash tree.

Specification