CVE-2020-25719 tests/krb5: Add tests for using a ticket with a renamed account