Implement overflow checks for store and load immediate

Check for overflow on immediate constants for byte and half word
operations load and store and use non-immediate operations if
needed.