feat: add a "none" option to --validator
feat: add a "none" option to --validator

This allows running a simplification without validator, which is something
desirable in some very specialized contexts.

lddubeau/salve,mangalam-research/salve,lddubeau/salve,mangalam-research/salve,mangalam-research/salve,lddubeau/salve