Simplify memory state to remove sub-byte access data

[nunoplopes]

store ⇒ zext + byte-aligned store
load ⇒ byte-aligned load + trunc nuw

llvm/llvm-project#180739