Best Property-Based Merges GitHub Repos (2026)