Experiments in deterministic Python reentrancy- and thread-safety tests