[Dijkstra] Phase-1 transaction-wise validation checks

[carlostome]

Description

In Dijkstra, in addition to pre-Dijkstra phase-1 validation of subtransactions and top-level transaction, several phase-1 validation checks depend on the transaction as a whole:

1. Sub and top-level transaction(s) don't spend outputs of previous subtransactions CIP. (See [Dijkstra] resolve ambiguity: visibility of reference inputs #1014)
2. (Top/sub) transactions reference scripts which are provided anywhere in the transaction CIP
3. The size of the transaction, that is the sum of the sizes of all subtransactions plus the size of the top-level transaction, must be less than maxTxSize CIP

Tasks

• Define auxiliary predicates corresponding to the checks described above.

[williamdemeo]

This may overlap a bit with other issues (e.g., #1006 or #1007)... but that's probably okay since there's a lot of work to do on validation, so maybe good to spread it across multiple issues.

[carlostome]

This has been addressed in recent PR's (#1021, #1053)