bump crucible for crucible::dump_what4 debug function
bump crucible for crucible::dump_what4 debug function

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