If the Court comes for ALJs in the Jarkesy case, however, that will be far more than a symbolic step toward the unitary executive theory.