Type check block/loop/if sigs#717

Merged

kripken merged 2 commits intomasterfrom

type-check-block-sigs

Sep 28, 2016

Commits on Sep 28, 2016

type check using block/loop/if types provided in text and binary formats. print if and loop sigs which were missing. remove dsl from OptimizeInstructions as after those changes it needs rethinking
kripken
committed
final cleanup
kripken
committed