Fail when vue-tsc does not run, and run it in CI

TypeScript type-checking now properly runs in CI and fails explicitly if vue-tsc skipped.