Minor improvements

[tlepoint]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 99.64912% with 1 lines in your changes are missing coverage. Please review.

Project coverage is 93.90%. Comparing base (e614edd) to head (e501d72).

Files	Patch %	Lines
crates/fhe/src/mbfv/secret_key_switch.rs	93.75%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #258      +/-   ##
==========================================
+ Coverage   93.75%   93.90%   +0.14%     
==========================================
  Files          42       42              
  Lines        8193     8230      +37     
==========================================
+ Hits         7681     7728      +47     
+ Misses        512      502      -10     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.