Add transform for validation of transaction preconditions

[je-ik]

To enforce unique (or similar) constraints we need to be able to preprocess outputs of a transaction and validate that the outputs are in compliance with defined logic (e.g. unique in some domain).