Prove the dev after the curve breaks.

Check a binding: its structure, its digest, the wallet's Ed25519 signature, the ML-DSA-65 signature, and the memo in the launch transaction that dates it. Devs can sign statements with their bound key here too.