run registerizeHarder in native optimizer, and fix a minor comparison bug in that pass in js