The SEC and Ripple Labs may have agreed on how to wrap up their years-long legal battle. But the court isn’t on board