Determine necessary basic blocks during tx simulation in relayer

[s1na]

When the relayer is executing a transaction to generate the necessary state proofs, it should also keep track which basic blocks of the code have been touched and construct a proof for them.

Depends on #37