what are some options excluding TypeScript and Flow for type-checking a Node project?

You could write it in Reason and output JS. :)

I actually looked into exactly that