Implement support for FORCE_SPILL instruction
Fix incorrect semantics of int_neg and int_invert