(1) introduce validation model paradigm to parameterize for multiple specifications, profiles, etc.;
(2) implement --model and --list-models options;
(3) add banner output with version information, along with new --quiet option to suppress banner;
(4) update MD documentation;