pub fn run( contract_dir: &Path, config_json: Option<&Path>, model_file: Option<&Path>, ) -> Result<(), Box<dyn Error>>
Run the verify-structure command.