Fix unused error in test and fix markdown format error

[kigawas]

No description provided.

[afck]

Good catches! 👍
Not sure about some of the Markdown format changes: Are these part of a spec; or a specific style guide?

[kigawas]

@afck
Formated by https://github.com/DavidAnson/vscode-markdownlint

[afck]

Thanks! There are also Node.js and Ruby versions. I made a note for later to consider adding them to CI: #416

The test failure is due to a security vulnerability found by cargo audit. I'll look into it today…

[afck]

Wait… it actually isn't!

running 1 test
test run_binary_agreement ... FAILED

[afck]

The problem is that your change in sbv_broadcast.rs actually did change behavior: If 2 * self.netinfo.num_faulty() + 1 is equal to self.netinfo.num_faulty() + 1, both branches should be executed, which is why we didn't use an else here.

[kigawas]

Ah, thanks for pointing out. Already fixed.

[afck]

I'm "fixing" CI in #417; please rebase once that's merged. Sorry for the inconvenience!

[afck]

Merged; you can rebase now.