After more experimentation, it looks like modifying the safety_margins on the white_detect function has the same effect. Top margin is set to 1500, but a value of around 4000 fixes the stripes (at the expense of a bit less DR, like it says on the comments)
int safety_margins[2] = {100, 1500}; /* use a higher safety margin for the higher ISO */
It should be possible to adjust this value automatically I suppose, but it could also be customizable from the Dual ISO section