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