Senate Majority Leader John Thune (R., S.D.) could have chosen to shrink the bill’s debt-ceiling increase to sway Rand Paul ...