Update saw-core version: xor and boolEq are primitives.
Update saw-core version: xor and boolEq are primitives.

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