Update crucible submodule; brings in additional pointer-related translation fixes.
Update crucible submodule; brings in additional pointer-related
translation fixes.

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