>>4
2011年から報告されてるバグ

643770 ? Auto scroll does not stop when mouse wheel is turned
https://bugzilla.mozilla.org/show_bug.cgi?id=643770

直す気がないらしく報告者自身がユーザースクリプトで直してる
https://github.com/alice0775/userChrome.js/blob/master/stopAutoscrollByWheel.uc.js

インストールにはuserChromeJSの導入が必要

ちなみに自動スクロールが使えてるなら
「自動スクロール機能を使用する」にはチェックが入ってないとおかしい