type_analysis: validate type of stores

[coderkalyan]

Store instructions should be validated to make sure the operand being stored is of the same type as the destination stack pointer (alloca). Same as everywhere else, we try to implicitly coerce the operand to the destination type, but catch it with a clean user error.

[coderkalyan]

Coercion has been implemented, but not the "clean user error".