The Senate’s Option Wasn’t “Nuclear”