stack: Have an analysis for precise stack limits

[nagisa]

Not every runtime will reserve the entire stack frame for a given function at the beginning of the function execution. Our current stack analysis can only reserve stack use at the beginning of the function for its maximum stack use, which can lead to us accounting for more stack than is actually used.