“The governor should also lay out a spending plan for the day when state coffers actually run dry, and make clear that on a day-to-day basis, the first debts that will get paid are emergency services—state troopers, for example, and followed by highway repair, state contractors, salaries of state employees, and so forth. What should be paid last are state pension obligations, and if there is no money left over, too bad.”