Fix spurious failure of the check/all script

[pavoljuhas]

• Avoid passing an empty string argument to check/format-incremental when invoked from check/all

• Improve validation of the git-revision argument in check scripts by allowing git tags that resolve to a commit

• Fix invalid use of ? in egrep pattern

• Make check/mypy pass in the dev.env.txt virtual environment

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 97.81%. Comparing base (f246c2b) to head (1fc6c95). Report is 3 commits behind head on main.

:exclamation: Current head 1fc6c95 differs from pull request most recent head 2063909

Please upload reports for the commit 2063909 to get more accurate results.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #6611 +/- ## ======================================= Coverage 97.81% 97.81% ======================================= Files 1063 1063 Lines 91761 91761 ======================================= + Hits 89755 89759 +4 + Misses 2006 2002 -4 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[pavoljuhas]

@95-martin-orion - can you PTAL?