Consider renaming `verify_*_is_invalid` methods

[dvdplm]

Readers of manul sometimes trip up on the double-negative here (e.g. #102 (comment)).

Can we find names that work well in their calling context and are also easier to read?

[fjarri]

See also: #82 for more involved possible solutions to the ergonomics problem.