“[W]hether an infringer under a final damages judgment can avoid preclusion, and thus seek vacatur of that judgment, based on a later USPTO unpatentability outcome.”