Well crc32 and md5 are both used in the case of file corruption, not tampering.
It should be fine for a plain integrity check. (A basic crc32 + file size check)
You don't need a sha512sum since the purpose is to mitigate user errors. (From downloading a corrupted/shrinked file mostly)