`pyright` type checking is very slow

[Computerdores]

Version and Platform (required):

• Binary Ninja Version: 6.0.10601 (can't easily test dev for packaging reasons)
• Edition: Personal
• OS: NixOS
• OS Version: 26.05
• CPU Architecture: x64

Bug Description:
Importing and using binaryninja.interaction.show_graph_report causes pyright evaluation time to rise from 6s to ~40s.

Steps To Reproduce:

1. Create test.py
2. Paste:

from binaryninja.interaction import show_graph_report
show_graph_report(1, 2)

3. Run pyright --outputjson test.py
4. Observe timeInSec to be vastly larger than normal (~40s for my system)
5. Comment out show_graph_report(1, 2)
6. Rerun pyright and observe timeInSec of below 1s

Expected Behavior:
Importing show_graph_report should not cause a drastic increase in pyright evaluation time.

Screenshots/Video Recording:
If applicable, please add screenshots/video recording here to help explain your problem.

Binary:
If applicable, please provide us with the binary to help us work with the issue faster. Here are a few options:

Additional Information:
I'm using this to get pyright to discover the api in my dev env:

BINJA_ROOT=$(cat "$HOME/.binaryninja/lastrun" | tr -d '\n')
export PYTHONPATH="$BINJA_ROOT/python:$PYTHONPATH"

[negasora]

This is because pyright has to check _binaryninjacore.py. We can improve the performance of this by providing _binaryninjacore.pyi