I'm optimistic that using the tzcode reference implementation that's part of the Olson tz database will make this doable in a reasonable time frame.