fix(lean): make equal-slot equivocation tie-break deterministic

[perfogic]

What was wrong?

Address leanSpec #1181 (issue #1172)

TL;DR:

• Latest-vote extraction now orders attestations by (slot, attestation_data_root): higher slot wins, and same-slot equivocations pick the larger canonical data root.

Before the implementation, if a validator had two different votes at the same slot, the first one seen stayed as the winner, so the result depended on arrival order.
Specifically, vote arrival order could make honest nodes assign the same equivocator’s weight to different fork branches, causing them to choose different heads.
The fix removes the old arrival-order dependency, so nodes with the same votes resolve the same winner. => Problem solved.

How was it fixed?

• extract_attestations_from_aggregated_payloads function in ream already sorted by (attestation_data.slot, data_root) => So no changes need.
• on select_round_based, attestation candidates from available_signed_attestations are sorted by (attestation_data.slot, data_root) through new added function sort_block_attestation_candidates.
• Four tests are added:
  • test_equal_slot_equivocation_resolves_to_larger_data_root: verifies that same-slot equivocations resolve to the vote with the larger attestation-data root.
  • test_higher_slot_beats_larger_data_root: verifies that a higher-slot vote still wins even if the lower-slot vote has a larger root.
  • test_equivocation_head_independent_of_arrival_order_a_then_b: verifies that fork choice selects the same canonical head when vote A arrives before vote B.
  • test_equivocation_head_independent_of_arrival_order_b_then_a: verifies the same head result when the same votes arrive in the opposite order.

What's to notice

• our current function latest_known_attestations_provider is not used anywhere, so available_signed_attestations's always empty.

To-Do

• I have read CONTRIBUTING.md.
• This PR title follows conventional commits.

[shariqnaiyer]

Looks good