feat: Isolating pk validation from block execution

[hecmas]

This PR allows a guest program to independently run pk validation and block execution. This is quite powerful because a guest an proceed as follows:

1. Fetch the public part of the input: the public keys of the txs signers and the block to be executed.
2. Perform signature validation while fetching the witness part of the input.
3. Finally, run block execution.