Un-deprecate bare --stop

Keeping the old default behavior doesn't hurt anything.