JIT: Function version is not re-checked in the optimizer for `_CHECK_FUNCTION_VERSION`

[Sacul0457]

Bug report

Bug description:

A function version may be modified midway in the trace, so we need to recheck and add a watcher in the first check.
(All credits go to @Fidget-Spinner for pointing this out, #145080 (comment))

Will open a PR soon

CPython versions tested on:

3.15, CPython main branch

Operating systems tested on:

No response