[FIX] Added alignment in the inserted Store instructions
[FIX] Added alignment in the inserted Store instructions

caballa/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm