All tests in the repository have been migrated to JUnit 5. This change
adapts the AGENTS.md by removing the mention of JUnit 4 accordingly.