Expand docs for @asynchronous decorator and other cleanups.

Closes #742.