Centralized/Proof: Using wrapping add

src/centralized_telescope/proof.rs

@@ -286,7 +286,7 @@ fn check_proof(proof_lock: Arc<Mutex<bool>>) -> bool {
 
 fn update_step_lock(step_lock: Arc<Mutex<u64>>, to_add: u64) -> () {
     let mut step_guard = step_lock.lock().unwrap();
-    *step_guard += to_add;
+    *step_guard = (*step_guard).wrapping_add(to_add);
     drop(step_guard);
 }