Add checksum checks for data downloads
Add checksum checks for data downloads

Since we're downloading over HTTP, it is prudent to check the integrity of the files we
download.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang