add -p and PrintErrors options and default to not printing nonfatal typechecking errors to stderr