Change motivating example of traces to finance
Add trace analysis logic slides
Remove ezContract slide