typechecker: Ensure must allows throwsy expressions in non-throwsy contexts

[cg-jl]

Code generation forwards it correctly, but typechecker did not ensure the inner expression's typecheck knew that the expression could throw.

[BuggieBot]

Hello!

One or more of the commit messages in this PR do not match the Jakt code submission policy, please check the lint_commits CI job for more details on which commits were flagged and why. Please do not close this PR and open another, instead modify your commit message(s) with git commit --amend and force push those changes to update this PR.