Verifying Safety of Parameterized Heard-Of Algorithms