Wrap all variable assignments in do blocks when generating inlined TC checks
Wrap all variable assignments in do blocks when generating inlined TC checks

This ensures that the variable's scope is limited to the TC check and doesn't
leak out to the surrounding code.

autarch/Specio