(1) add "--until-phase" option to permit specifying last phase to perform (skipping any following phases);
(2) minor renaming from "Validator" to "Verifier" including definition of TTV acronym;
(3) ensure well-formedness error causes parser to terminate (by throwing WellFormednessErrorException);