stack.ll/push_int: More sane buffer sizes.
Some underflow check testing.

Issue #41.