fix: add divide by zero check (#4287)

* fix: add saturating sub to prevent potential underflow

* fix: prevent div by zero and add wrapping add

Co-authored-by: aviator-app[bot] <48659329+aviator-app[bot]@users.noreply.github.com>

dan_layer/core/src/models/view_id.rs

@@ -33,15 +33,19 @@ impl ViewId {
     pub fn current_leader(&self, committee_size: usize) -> usize {
         #[allow(clippy::cast_possible_truncation)]
         let view_id = self.0 as usize;
-        view_id % committee_size
+        if committee_size == 0 {
+            0
+        } else {
+            view_id % committee_size
+        }
     }
 
     pub fn is_genesis(&self) -> bool {
         self.0 == 0
     }
 
     pub fn next(&self) -> ViewId {
-        ViewId(self.0 + 1)
+        ViewId(self.0.wrapping_add(1))
     }
 
     pub fn as_u64(&self) -> u64 {