Fault-Injection framework for Byzantine Fault-Tolerant Protocols