Is the Statcounter javascript file gzip compressed?

Yes - the Statcounter javascript file is gzipped.

Every resource on the web has a "header" attached to it that contains extra information about the content it is delivering. Here is the header information for the StatCounter javascript file. Note that the Content-Encoding is marked as gzip.