EF Protocol's priorities make shorter slots and node efficiencies conditional, while a proposal could move mandatory execution proofs one fork later.