Checked storage on 12 bit unsigned ints on the stack
Added checks for overflow/underflow
Added specs for it both on Stack and StackMachine