fix: typos in documentation files (#417)

<!-- This is an auto-generated comment: release notes by coderabbit.ai
-->

## Summary by CodeRabbit

- **Documentation**
- Corrected typographical errors in documentation comments and
user-facing error messages to improve clarity and consistency, with no
changes to the underlying functionality.

<!-- end of auto-generated comment: release notes by coderabbit.ai -->

---------

Co-authored-by: cyphersnake <[email protected]>

examples/instances.rs

@@ -76,7 +76,7 @@ impl<const A: usize, F: PrimeField, const FAIL: bool> StepCircuit<A, F>
         }
     }
 
-    /// Sythesize the circuit for a computation step and return variable
+    /// Synthesize the circuit for a computation step and return variable
     /// that corresponds to the output of the step z_{i+1}
     /// this method will be called when we synthesize the IVC_Circuit
     ///

src/ivc/cyclefold/incrementally_verifiable_computation/public_params.rs

@@ -108,7 +108,7 @@ where
         ) = {
             let _support = info_span!("support").entered();
             // Since I want to scalar_multiply points for main::sfc, I take `CMain` as the main curve here
-            // CMain::Base or CSupport::Scalar (native for suppport_circuit)
+            // CMain::Base or CSupport::Scalar (native for support_circuit)
             //
             // For step zero, cyclefold::sfc expects `C::identity` to be multiplied by zero
             let support_circuit_instances: Vec<Vec<CMain::Base>> = support_circuit::InstanceInput {

src/nifs/sangria/mod.rs

@@ -560,7 +560,7 @@ impl<C: CurveAffine, const MARKERS: usize> GetConsistencyMarkers<MARKERS, C::Sca
     fn get_consistency_markers(&self) -> [C::ScalarExt; MARKERS] {
         match self.instances.first() {
             Some(instance) if instance.len() == MARKERS => instance.clone().try_into().unwrap(),
-            _ => unreachable!("folded plonk instancce always have markers"),
+            _ => unreachable!("folded plonk instance always have markers"),
         }
     }
 }

src/sps.rs

@@ -14,7 +14,7 @@ pub enum Error {
     Eval(#[from] EvalError),
     #[error("Sps verification fail challenge not match at index {challenge_index}")]
     ChallengeNotMatch { challenge_index: usize },
-    #[error("For this challenges count table must have lookup aguments")]
+    #[error("For this challenges count table must have lookup arguments")]
     LackOfLookupArguments,
     #[error("Lack of advices, should call `TableData::assembly` first")]
     LackOfAdvices,