All instructions in `typeCheckInstr` should throw proper annotation mismatch error
Clarification and motivation
Currently, only a few instructions in typeCheckInstr
do proper annotation matching (COMPARE, GET, MEM ..). Many other instructions does throw annotation mismatch error at all, for example ADD.
Acceptance criteria
All instructions in typeCheckInstr
should throw proper annotation mismatch errors according to the way tezos-client
handles those mismatch errors.