Properly handle short integer overflow in PushShortIns.execute

`translate` method already handles instructions like `pushshort 107373249` properly, I believe `execute` should as well.