libs: remove `core::slice::crucible_cast_hook`

[samcowger]

Once GaloisInc/crucible#1842 is merged, this hook will no longer need to be defined, as crucible-mir will be able to simulate the actual computation it shadows, and so will no longer target this hook.