Verifying Memory Order Requirements

Check if relaxed ordering is sufficient for specific algorithms to improve performance safely.