Discuss the static analysis alternative in Ch2.

Earlier I revised some prose in Chapter 4 based on a reviewer's comment.
I've made a similar change in the discussion in Chapter 2.
Fixed a discussion of variablion in input data.
Added a note about deadlock and future.wait.