A man convicted of the 1994 machete killings of his wife and their two children became the ninth person put to death in Florida this year. His death Thursday marks a state record for a single-year execution total since the restoration of the death penalty in …