ReaderFooter/Header: Refine autorefresh repaint-or-not checks (#10045)

Use both a whitelist for targeted widget repaints, a blacklist for no repaint at all, and a fallback for a full in-order ReaderUI repaint when unsure.

Use a similar approach in ReaderHeader (i.e., prevent explicit refreshes while ReaderMenu is open).

Re #9979, re #9768

frontend/apps/reader/modules/readermenu.lua

@@ -414,6 +414,7 @@ function ReaderMenu:onShowMenu(tab_index)
     end
 
     local menu_container = CenterContainer:new{
+        covers_header = true,
         ignore = "height",
         dimen = Screen:getSize(),
     }