The most famous "nudge" example -- defaulting to 401k enrollment with auto-escalation -- doesn't actually do very much it turns out.