A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation. - Zhuohang Shen; Mohammed Yaseen; Denini Silva; Kevin Guan; Junho Lee; Marcelo d'Amorim; Owolabi Legunsen (CoRR, 2025)