After rebasing onto main, apply the substance of upstream review-comment
commits (1ef557c972, 35faec3db1):
- timer.py: stricter validation (raise TypeError for unknown subscript
elements), bypass atexit via os._exit on failure.
- test_basic.py: simpler test cases per review (drop unnecessary parens,
use call form in test_callable_syntax), updated docstring.
- TimerUtils.qll: docstring update reflecting the t[dead(n)] / t[never]
forms.
The 'dead(2)' annotation in test_boolean.py:27 is kept because our
NewCfgBranchTimestamps check (added on this branch) requires it.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
ef74ec1ff1