WLS: Added fail statement to list of keywords.

The fail statement is slated for inclusion in the language to handle
unusual interactions between type checking and verification.  In fact,
it corresponds directly to the existing fail bytecode in WyIL.