feature(fraud-proofs): Implement FinalizeCommitment

[snawaz]

Parent: #234

Implement FinalizeCommitment as part of DLP v2 fraud-proofs.

Acceptance:

• Instruction is wired into the v2 dispatch path.
• Instruction data and accounts match mimd-0025-impl.md.
• Focused tests cover success and expected failure paths.