Added trace messages to the invariant to help find the bug we're running into.
Disable tail-calls as it's making the code hard to debug; instead, avoid the parser's StackOverflow by increasing the reserved stack size of the compiled assembly.