Basil: Breaking up BFT with ACID (transactions)

Re-assign community