dev-cmd: add brew typecheck command

[vidusheeamoli]

• Have you followed the guidelines in our Contributing document?
• Have you checked to ensure there aren't other open Pull Requests for the same change?
• Have you added an explanation of what your changes do and why you'd like us to include them?
• Have you written new tests for your changes? Here's an example.
• Have you successfully run brew style with your changes locally?
• Have you successfully run brew tests with your changes locally?

---

This PR adds a new brew typecheck developer command which checks for type errors in the current code with Sorbet.

[issyl0]

Overall, good work - and speedy work, too! 🚀

I tested this out and there's some confusing behaviour with --file and --dir. Thankfully though, --quiet works and is very pleasing to my eyes. 🤣

[MikeMcQuaid]

Also: might be nice for this to have a --fail-if-not-changed like update-license-data to be able to use that from the workflow? It'll also be nice to e.g. have that CI job and/or this command run on PRs like #8364 to make sure they don't break things/introduce new warnings we haven't fixed yet?

[dawidd6]

Judging by the current source code, I would say this whole step is not needed.

[reitermarkus]

Can we make this --fail-if-changed? The double negative is kind of confusing.

[MikeMcQuaid]

No, this matches -update-license-data.

[MikeMcQuaid]

Or at least: yes, it could but both would need to be updated (which is out of scope for this PR specifically).

[MikeMcQuaid]

Thanks @vidusheeamoli, great work here!

[MikeMcQuaid]

@vidusheeamoli I added this so we can ensure that PRs like #8505 are tested properly. Could you open a new PR to remove --quiet from here and fix and/or hide the current failures so that brew typecheck shows as clear by default? Thanks!

[vidusheeamoli]

On it! 😄