Refactor for fruits of verification

Attempts a more complete rendition of what is described in
`java.util.Formatter` javadoc.

Besides catching more errors, also supports arg index and
the '<' flag.

Uses a regular expression instead of microparsing.

More tests are needed. DNC tests really do need a framework.