Prop 27: Remove Informal Systems and Grove validators

This proposal removes the Informal Systems and Grove validators from the validator set. These validators have ceased their activities as validators and have communicated that they do not wish to continue operating validator infrastructure for the network. The purpose of this proposal is to keep the validator set aligned with the set of actively participating operators.