Sounds like it is plausible for the stack pointer to end up past the
computed stack limit depending on the implementation of stack growing
and the exact timing at which the stack limit is determined.

Supersedes #51

Co-authored-by: Jude Nelson <[email protected]>
Co-authored-by: Reagan Bohan <[email protected]>