Fix record field access in Cryptol -> SAWCore
Fix record field access in Cryptol -> SAWCore

Part of the previous commit to update the translation to account for zero-based tuple indexing
in Cryptol turns out not to be necessary. Records were already essentially "zero-based".

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