Currency options traders are betting the Korean won’s Asia-leading rally since July has further to run.