I'm able to export my save file into PKHeX, modify my Pokemon as I see fit, and export the save file afterwards. When I import the modified save file back into my game, it seemingly doesn't read the modified save file and just uses the old, unmodified save file. It's not game-breaking or anything, I can still play my game, but it's just annoying that I can't get PKHeX to work.