Add tsgo for fast type checking

The project currently relies on IDE-only type checking. Adding an explicit type-check script would enable CI integration and catch type errors before merge.

tsgo (Microsoft's native Go-based TypeScript compiler) provides 5-10x faster type checking compared to tsc, making it practical to run on every CI build without significant slowdown.