[P0] Enable memory ordering for memory operations

[ShangkunLi]

We need to carefully consider the stateful operations in NEURA (e.g., load, store, return).

For return, we have already enabled a safety return mechanism.

We should mimic the approaches in RipTide for memory ordering to keep the memory consistency.