[hare] Update for hare 0.25.2

[einsiedlerspiel]

This PR updates the hare implementation to work with hare 0.25.2, by explicitly handling !nomem, for now we abort when out of memory, as was the default for previous versions of hare. Does not include any changes to the logic and should not alter behviour.

Switches the Docker image to Debian:testing, because Ubuntu hasn't updated it's hare repo.

Pull request requirements:

• Commits are well written and well organized.
• Commits for a specific implementation should be prefixed with
  the implementation name.
• Github Actions CI passes all checks (including self-host)