BUSD, Paxos, and the Recent Scrutiny of Paxos