crucible-llvm: Move memory model into a separate library

[langston-barrett]

Both macaw-symbolic and crucible-wasm utilize the LLVM memory model, without using the LLVM language extension. These clients would have faster build times if they could depend on a slimmer library with just the functionality they need. Furthermore, they may be able to drop some transitive dependencies entirely, such as llvm-pretty.