Made PushShortIns.execute properly handle short integer overflow
Merge pull request #8 from izstas/pushshort-overflow

Properly handle short integer overflow in PushShortIns.execute