Should the Lido DAO add the 8 shortlisted Ethereum operators to its Lido on Ethereum operator set?