* main_scheck.ml: print skipped when in -verbose