If we blindly splicing `{..$stats, ..$generatedCode}`, and the last
expression in `$stats` is of type `Nothing`, we'll incur a dead
code warning when typechecking the block.

This commit:
  - introduces a helper method to augment user-written stats with
    synthetic code
  - Emit a try/finally in that code (so we advance the state, even if we
    are about to exit the state machine in the async-block global
    exception handler
  - Hide `Nothing` typed expressions from the dead code analysis
    by wrapping them in an `expr: Any`

Fixes scala#150 (the part reported in the comments, not the original ticket.)

By declararing the parameter of `async` as by-name.

Fixes scala#150 (the bug in the original ticket.)

If we blindly splicing `{..$stats, ..$generatedCode}`, and the last
expression in `$stats` is of type `Nothing`, we'll incur a dead
code warning when typechecking the block.

This commit:
  - introduces a helper method to augment user-written stats with
    synthetic code
  - Emit a try/finally in that code (so we advance the state, even if we
    are about to exit the state machine in the async-block global
    exception handler
  - Hide `Nothing` typed expressions from the dead code analysis
    by wrapping them in an `expr: Any`

Fixes scala#150 (the part reported in the comments, not the original ticket.)

By declararing the parameter of `async` as by-name.

Fixes scala#150 (the bug in the original ticket.)

(cherry picked from commit 4b1dbee)

Backport fix for scala#150 to 2.10.x