State Machine Replication for the Masses with BFT-SMART | Synapse