WLS: Added description of Fail Statement.

The fail statement is an unusual source-level statement which is used to signal unreachable code.  In particular, it allows one to communicate this to the type checker and it is then checked by the verifier.