This type of slashing is necessary to prevent verifiers from being lazy and to maintain consensus integrity.