Revert "Update crucible version"
Revert "Update crucible version"

This reverts commit 182d68bc1393c9a01b721dccce9798b9ecb91467.

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