Making Semgrep rip: how ripgrep inspired us to shave hours off scans