"the obvious solution would be to say that this rule takes effect a year or two after the UK has actually left the EU."
How long is it since EURid first said that .eu domains must be registered to an EU address? It's 3 years and 3 months since the vote to leave, so I'd suggest that anyone in the UK affected should have been planning for this eventuality for quite some time by now.