Enable the verifier on the presubmits (#8078)

This is follow up on
#8034

Author: jwren

.github/workflows/presubmit.yaml

@@ -34,7 +34,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT]
+        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT, VERIFY_BOT]
     steps:
       - name: checkout
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683

.github/workflows/presubmit.yaml.template

@@ -32,7 +32,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT]
+        bot: [CHECK_BOT, DART_BOT, UNIT_TEST_BOT, VERIFY_BOT]
     steps:
       - name: checkout
         uses: actions/checkout@8f4b7f84864484a7bf31766abe9204da3cbe65b3

tool/github.sh

@@ -43,7 +43,6 @@ dart pub get
 (cd tool/plugin; echo "dart pub get `pwd`"; dart pub get)
 
 if [ "DART_BOT" = "$BOT" ] ; then
-
   # Analyze the Dart code in the repo.
   echo "dart analyze"
   (cd flutter-idea/src; dart analyze)
@@ -63,20 +62,21 @@ if [ "DART_BOT" = "$BOT" ] ; then
   (cd tool/plugin; dart test/plugin_test.dart)
 
 elif [ "CHECK_BOT" = "$BOT" ] ; then
-
   # Run some validations on the repo code.
   ./bin/plugin lint
 
   # Check plugin-referenced urls for liveness.
   dart tool/grind.dart check-urls
 
 elif [ "UNIT_TEST_BOT" = "$BOT" ] ; then
-
   # Run unit tests.
   ./bin/plugin test --no-setup
 
-else
+elif [ "VERIFY_BOT" = "$BOT" ] ; then
+    # Run the verifier for this version
+    ./bin/plugin verify
 
+else
   # Run the build.
   ./bin/plugin make --channel=stable --only-version=$IDEA_VERSION --no-setup