pub fn run( contract_dir: &Path, binding_path: Option<&Path>, _show_fuzz: bool, reverse_crate: Option<&Path>, enforcement_crate: Option<&Path>, ) -> Result<(), Box<dyn Error>>