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