Tidy ws and document verifier instruction flags.

Change-Id: I6c58a76f3373b17fc001480c4db069fc942fce3a
2 files changed