The Trump administration is weighing sharply different options on Iran, ranging from a limited “token” nuclear enrichment deal to potential military strikes targeting the country’s top leadership.