Fix accidentally-removed legacy name `crucible_return`.
Fix accidentally-removed legacy name `crucible_return`.

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