updated saw-core prelude to have unsafeCoerce_same again
updated saw-core prelude to have unsafeCoerce_same again

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