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