Rename verdicts and helper functions

Disambiguate terms describing the entire verdict from terms describing just a
single field in the verdict.

Invalid -> Failed
Continue -> Failing
Matching -> Passed
Satisfied -> Passing

Continue and Matching both refer to the bit fields as does continue? and matching?
The other predicates now refer only to their appropriate value.