added a line to turn off translation checks when type-checking sha512_block_data_order
added a line to turn off translation checks when type-checking sha512_block_data_order

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script