feat: generate 'stacktrace' from all the contract interactions

[ppedziwiatr]

Currently it might be hard to understand/verify what exactly is happening during the state evaluation for contracts that heavily communicate with other contracts (and/or are utilizing the Foreign Call Protocol) - because of the "flat" structure of the logs.

A full call report should be generated (in a tree-like structure, with function names and parameters being used) and returned as another product of the state evaluation (next to state and validity report).

Note: validity should be probably also included - as currently it returns values only for the "root" contract.