When the popover attribute is removed, the hide popover algorithm will return too early

Given https://github.com/whatwg/dom/pull/1176, the popover attribute is removed before running the element's attribute change steps.
Those steps are defined for the popover attribute: https://html.spec.whatwg.org/#attr-popover which in step 3 invoke the hide popover algorithm (https://html.spec.whatwg.org/#hide-popover-algorithm). That invokes checking the popover validity (https://html.spec.whatwg.org/#check-popover-validity) as its first step and if it returns false, returns early. The latter function checks in its first step, whether the element's popover attribute is in the "no popover state". Hence,

somePopoverElement.showPopover();
setTimeout(() => {
    somePopoverElement.removeAttribute("popover");
}, 1000);

will return early from the hide popover algorithm. Hence, the popover will remain open.

Seems related to https://github.com/whatwg/html/issues/9161 and https://github.com/whatwg/dom/pull/1185#issuecomment-1520926675

CC @josepharhar @jakearchibald @rwlbuis

Read the linked DOM pull request and the HTML Standard sections for the popover attribute, hide popover algorithm, and check popover validity. Reproduce the shown showPopover/removeAttribute sequence, then trace the attribute-change and validity steps. Done means removing the popover attribute no longer leaves an open popover.