Rename mix flag --no-check -> --no-deps-check, document it and use it everywhere

Closes #1430.