How to retrieve madsim seed when the test case was canceled by cargo-nextest due to timeout

[Phoenix500526]

When running madsim tests with cargo-nextest, it is possible that madsim tests may be canceled by cargo-nextest due to timeouts. In such cases, the seed generated by madsim cannot be retrieved. How should this issue be resolved? Would adding an function hook on kill, like issue #6 , solve the problem?