Update submodule versions and fix #1662

[RyanGlScott]

This PR contains a series of two commits:

• Update submodule versions, including crucible. This will prepare saw-script for when Don't treat struct padding as invalid memory with stable-symbolic crucible#998 lands, which will likely require some code changes on the SAW side to accommodate.
• Replace some LLVM debug utilities in SAWScript.Crucible.LLVM.Skeleton with their counterparts in llvm-pretty, which were upstreamed in Upstream debug utilities from Crucible, SAW llvm-pretty#94. (This is now possible since we have updated the llvm-pretty submodule in the previous commit.) This fixes Update llvm-pretty and remove upstreamed debug info utilities #1662.

[RyanGlScott]

Unfortunately, bumping the macaw submodule breaks the blst and awslc proofs. I've opened GaloisInc/macaw#294 for this. I'll mark this as a draft until we figure out what to do there.

[RyanGlScott]

I've updated this PR to bring in GaloisInc/macaw#296, which should hopefully bring the blst and awslc proofs back to a working state.