Normalize input_constraints before computing case signature

[xieofxie]

Summary

• Calls normalize_constraint_dict on each input_constraints value in _compute_case_signature so that the compact same_value/same_value_shape representation (emitted by InputValueConstraint.to_dict() for uniform arrays) produces the same signature as the equivalent fully-expanded value list stored by older code.
• Adds unit tests in tests/unit/analyze/test_check_ops.py constructed via real InputValueConstraint instances, covering backward-compatible signature stability and explicit verification that dict key insertion order has no effect (sort_keys=True).

Test plan

• python -m pytest tests/unit/analyze/test_check_ops.py -v — 9 tests pass
• test_all_same_value_array_compact_matches_expanded — compact vs expanded form produce same signature
• test_key_insertion_order_does_not_affect_signature — dict key order has no effect
• test_top_level_input_constraints_key_order_does_not_matter — input key ordering has no effect

🤖 Generated with Claude Code

[xieofxie]

So test cases for Where will save size and we could use large sizes