use stores of the correct size to set discriminants

[the8472]

Resolves an old HACK /FIXME.

Note that I haven't worked much with codegen so I'm not sure if I'm using the functions correctly and I was surprised seeing out-of-range values being fed into const_uint_big but apparently they're wrapped implicitly? By making it explicit we can pass in-range values instead.