A0-0000: New ABFT version

[timorleph]

Description

Bump ABFT/finality version.

Type of change

• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)

Checklist:

• I have made corresponding changes to the existing documentation

[timorleph]

This shouldn't work until https://github.com/Cardinal-Cryptography/AlephBFT/pull/554 is merged, since it now attempts to use an ABFT version that is not yet published. After that it will either work, or complain about clippy – I changed the Rust toolchain at the same time and I'm not sure if all the clippy reports I'm getting are from places that are not checked in the pipeline or what.

[timorleph]

Now this should be mergeable.