This change uses the locked_mem.hh header to handle implementing CLREX. It simplifies the current implementation greatly.