tx-verifier: Introduce Context types

[iljakuklic]

These types hold information about the block and transaction being verified. The verification procedure interfaces with the context types rather than inspecting block / transaction directly.

Not quite happy with this yet, will evolve this further. Feedback welcome.