. "In one sense this is clear: cruel and unusual punishment is directly forbidden, so the court must rule in specific cases whether it wants to or not." . . .