feat: swap endianness in-place in keccak implementation (noir-lang/noir#6128)

feat: (LSP) remove unused imports (noir-lang/noir#6129)
fix: handle parenthesized expressions in array length (noir-lang/noir#6132)
chore: remove bubble_up_constrains (noir-lang/noir#6127)
fix: Consider constants as used values to keep their rc ops (noir-lang/noir#6122)

Author: AztecBot

noir/noir-repo/compiler/noirc_evaluator/src/ssa/opt/mem2reg.rs

@@ -615,8 +615,7 @@ impl<'f> PerFunctionContext<'f> {
 
     fn reduce_load_result_count(&mut self, value: ValueId) {
         if let Some(context) = self.load_results.get_mut(&value) {
-            // TODO this was saturating https://github.com/noir-lang/noir/issues/6124
-            context.uses = context.uses.wrapping_sub(1);
+            context.uses = context.uses.saturating_sub(1);
         }
     }
 
@@ -744,8 +743,7 @@ impl<'f> PerFunctionContext<'f> {
                 if all_loads_removed && !store_alias_used {
                     self.instructions_to_remove.insert(*store_instruction);
                     if let Some((_, counter)) = remaining_last_stores.get_mut(store_address) {
-                        // TODO this was saturating https://github.com/noir-lang/noir/issues/6124
-                        *counter = counter.wrapping_sub(1);
+                        *counter = counter.saturating_sub(1);
                     }
                 } else if let Some((_, counter)) = remaining_last_stores.get_mut(store_address) {
                     *counter += 1;