Add SMC trace to test IC-DC interaction

[pavelkryukov]

Blocked by #4. Just create a simple loop: jump $A -> A -> store $A -> jump $A -> A, so IC and DC will have different data. I will use infrastructure provided by #4.