Implementing the Weakest Failure Detector for Solving Consensus