ci: always lint with types

use new EXPERIMENTAL_useProjectService which makes this performant enough to use

.eslintrc.cjs

@@ -36,6 +36,8 @@ module.exports = {
   parser: '@typescript-eslint/parser',
   parserOptions: lintTypes
     ? {
+        // this is not yet compatible with eslint lsp so it's conditioned on AGORIC_ESLINT_TYPES
+        EXPERIMENTAL_useProjectService: true,
         sourceType: 'module',
         project: [
           './packages/*/jsconfig.json',

scripts/lint-with-types.sh

@@ -1,8 +1,8 @@
 #!/bin/sh
 
-# we don't collect type info by default because it can slow eslint by 8-10x
-# FIXME even in CI it has become too slow so disable until https://github.com/Agoric/agoric-sdk/issues/5788
-# export AGORIC_ESLINT_TYPES='keypresent'
+# we don't collect type info by default because the EXPERIMENTAL_useProjectService that provides viable perf
+# is not yet compatible with running eslint in IDE
+export AGORIC_ESLINT_TYPES='keypresent'
 
 # CI and some VMs OOM without this
 export NODE_OPTIONS='--max-old-space-size=8192'