Added explanation for limitations of MicroDAGR BFT