stress.fathom causes stack overflow on Windows

[wezm]

test tests\succeed\stress.fathom                                                    ... FAILED

failures:

---- tests\succeed\stress.fathom ----

    unexpected command output:
        ---- command ----
        "C:\\Users\\wes\\Work\\fathom\\target\\debug\\fathom.exe" "elab" "--term" "tests\\succeed\\stress.fathom"
        ---- status ----
        exit code: 0xc00000fd
        ---- stderr ----

        thread 'main' has overflowed its stack


    failures:
        unexpected command output



failures:
    tests\succeed\stress.fathom

[brendanzab]

Yeah, I was actually running into this when attempting to upgrade scoped-arena to version 0.4.1. I'm not sure this test (along with succeed/prelude.fathom and fail/paradoxes/hurkens.fathom) will survive #316 though. These were more there as I was doing initial tests of the elaborator.

[wezm]

Noticed a couple of ways to handle this in a URLO forum thread:

1. Spawn a thread to do the work with a custom stack size
2. Increase the stack size of the main thread at compile time with a build script