Gulf crude exports outside Iran are back at prewar levels. Tehran can no longer bottle them up. But it doesn’t need to.