Evaluating the Impact of DFM Library Optimizations on Alpha-induced SEU Sensitivity in a Microprocessor Core