Add a test for `etch` to a symbolic address#844

palinatolmach wants to merge 9 commits intomasterruntimeverification/kontrol:masterfrom

symbolic-etch-testruntimeverification/kontrol:symbolic-etch-testCopy head branch name to clipboard