How Single Slot Finality Can Support a Larger Validator Set