Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers