Enhance tests for WeightStore with new operations and metrics validation

- Added tests for weight tracking, including rejection of updates exceeding capacity.
- Introduced metrics validation for insertions, removals, and evictions.
- Implemented property-based tests to ensure state invariants under random operations.
- Improved coverage for edge cases, such as zero weight capacity and weight overflow scenarios.

Author: TKorr