Catalytic Control in the Facile Proton Transfer in Taxadiene Synthase