A man convicted of the 1994 machete killings of his wife and their two children was put to death Thursday, becoming the ninth person executed in Florida this year and setting a state record for a single-year total since the Supreme Court restored the death pe…