MIPS64: Fix DoLoadNamedField() when the field is an Smi.

If the field is Smi but our representation is integer32,
then load the value directly from the upper 32bits of
the 64-bit Smi.
MIPS64: Fix some representation-related issues.