deno check: type-checking is the important thing, not downloading (#461)

deno check: type-checking is the important thing, not downloading (#461) #762