Q-2.23: Cryptographic verification of equivocation

[mpoke]

Problem

The work on cryptographic equivocation was started in Q2 2023. As a result, this issue is a placeholder for #732 that enables us to have a trace of our work.
Most of the work achieved in Q2 focused on the design and the development of the Light Client Attack Evidence verification, called the ICS misbehaviour handling. Here are the issues tracking the progress of these achievements:

• Create a new endpoint for ICS misbehaviour handling #825
• Add jailing and tombstoning to the ICS misbehaviour handling #827
• docs: Create adr-005-cryptographic-equivocation-verification.md #909

Closing criteria

Immediately.