Static stack size verification

[jwise]

We have hard coded stack sizes for a bunch of threads, and it turns out that the maximum stack needed can actually be quite large. Find a way to avoid this, and find a way to verify this statically, when possible. "stacker" can help.