Slackened Memory Dependence Enforcement: Combining Opportunistic Forwarding with Decoupled Verification