Fix exportRecordValue to match new translation of cryptol records.
Fix exportRecordValue to match new translation of cryptol records.

Cryptol records are now represented using saw-core tuples.

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