Comparisons: Enable safe mixed integer shortcut helpers

[KRRT7]

Summary

• add runtime NaN ordered comparison coverage for object and condition result contexts
• document NaN non-complement behavior for inverted comparisons
• add Python 2-only mixed int/long comparison coverage without Python 3-incompatible syntax

Property-based exploration

I used crosshair-tool and hypothesis in tests/scratch/ to check which comparison inversions are unsafe.

CrossHair found NaN counterexamples for scalar float and tuple comparisons:

uv run crosshair diffbehavior --per_condition_timeout=10 tests.scratch.crosshair_compare.gt_original tests.scratch.crosshair_compare.gt_inverted
uv run crosshair diffbehavior --per_condition_timeout=10 tests.scratch.crosshair_compare.ge_original tests.scratch.crosshair_compare.ge_inverted
uv run crosshair diffbehavior --per_condition_timeout=10 tests.scratch.crosshair_compare.tuple_gt_original tests.scratch.crosshair_compare.tuple_gt_inverted

Examples found:

gt_original(-1.0, nan) -> False
gt_inverted(-1.0, nan) -> True

ge_original(7.4050824148778e-304, nan) -> False
ge_inverted(7.4050824148778e-304, nan) -> True

tuple_gt_original((1.184418094435452e-308,), (nan,)) -> False
tuple_gt_inverted((1.184418094435452e-308,), (nan,)) -> True

Hypothesis found minimized counterexamples, including the list case:

uv run python tests/scratch/hypothesis_compare.py

Minimized examples:

float gt: (0.0, nan)
float ge: (0.0, nan)
tuple gt: ((0.0,), (nan,))
list gt: ([0.0], [nan])

These support keeping inversion restricted to comparison families where complement inversion is valid.

Testing

• ./bin/autoformat-nuitka-source --un-pushed
• ./.venv/bin/python ./tests/basics/run_all.py only BuiltinsTest.py
• ./bin/check-nuitka-with-pylint --un-pushed
• git diff --check
• NUITKA_CACHE_DIR=tests/scratch/nuitka-cache python3 tests/basics/run_all.py only BuiltinsTest
• NUITKA_CACHE_DIR=tests/scratch/nuitka-cache PYTHON=python NUITKA_EXTRA_OPTIONS="--lto=no --disable-cache=ccache" python tests/basics/run_all.py only BuiltinsTest

Python 2.7.18 validation passed after disabling local LTO/ccache because the default macOS toolchain had an unrelated LLVM bitcode linker mismatch.