Optimize object creation and method calls in the JIT by resolving `__init__` at trace compile time

# Feature or enhancement

### Proposal:

Optimize object creation and method calls in the JIT by resolving `__init__` at trace compile time and eliminating redundant type guards.

### Has this already been discussed elsewhere?

No response given

### Links to previous discussion of this feature:

_No response_


### Linked PRs
* gh-148277