Optimizing Distributed Transactions: Speculative Client Execution, Certified Serializability, And High Performance Run-Time