“The judge, however, agreed with Virginia’s attorney general that the necessary-and-proper clause could not prop up an otherwise unconstitutional provision. Virginia argued, and the judge agreed, that the insurance requirement, by regulating inactivity rather than activity, exceeds the limits of the commerce clause.”