The arduino method is looking appealing. Could also be used to adjust/calibrate the output if needed.
As far as boost converters,
Dimension Engineering makes a small boost module. It maxes out at 14V which is the lower end of what the high voltage sensor requires.
Time to start tinkering.