Add read only input/output support

[rafal-ch]

This is the tracking issue for adding the support for "read only input/output" functionality for the "new primitives" feature.

Detailed definition of done is being prepared.

Test ideas:

1. Two txs with single read only input should execute correctly
2. The same input should be consumed when it's added to the tx as "not read-only"
3. We also need a predicate that will ensure that ReadOnly input was used when creating tx (aka: Have a predicate that only allows an input to be spent when it is ReadOnly)