Fix default audit test formula

- Use `libdeflate` because its homepage and source URL are GitHub URLs.
- Keep default formula testing independent of `libspiro` release reachability.