Update llvm-pretty-bc-parser, crucible, semmc submodules; adapt to GaloisInc/crucible#906

[RyanGlScott]

This:

• Updates the llvm-pretty-bc-parser to include these PRs:

  • Support parsing fneg instructions llvm-pretty-bc-parser#159 (Support parsing fneg instructions)
  • Support parsing freeze instructions llvm-pretty-bc-parser#166 (Support parsing freeze instructions)
  • Parse DebugInfoEnumerator properly on LLVM 12+ llvm-pretty-bc-parser#164 (Parse DebugInfoEnumerator properly on LLVM 12+)
  • Support parsing dict{Associated,Allocated,Rank} fields introduced in LLVM 12 llvm-pretty-bc-parser#162 (Support parsing dict{Associated,Allocated,Rank} fields introduced in LLVM 12)

  The llvm-pretty submodule had corresponding changes as well. These were included as part of a previous commit to update the llvm-pretty submodule (952fe55), but the llvm-pretty-bc-parser submodule was not updated at the same time. This commit brings the two back into harmony.

• Updates the crucible submodule to include crucible-llvm: Control granularity of reading uninitialized memory crucible#906 (Control granularity of reading uninitialized memory), as well as the semmc submodule to bring in corresponding changes on its side (Update crucible submodule, adapt to GaloisInc/crucible#906 semmc#69). Some additional ?memOpts :: MemOptions constraints needed to be added to some functions in macaw-symbolic and macaw-refinement as a result.