Improved Synthesis of Toffoli-Hadamard Circuits