Fresh-Start Mochi can cause current HP to go over maximum HP

Summary

I had EV-trained my Pokémon to have max HP EVs, but changed my mind, and used a Fresh-Start Mochi on it to reset its EVs. When training it back up, I noticed its current HP was above its max HP - likely because its max HP was reduced when the EVs were reset, but not the current HP.

Steps to reproduce

1. Increase a Pokémon's HP EVs enough so that its maximum HP increases.
2. Make sure it's at full HP, and then use a Fresh-Start Mochi.
3. Its HP should now above its maximum HP.

What is the current bug behavior?

The current HP can exceed maximum HP.

What is the expected correct behavior?

When resetting or lowering HP EVs, current HP should be lowered to maximum HP if it would exceed it otherwise.

Cobblemon Version and Mod Loader

NeoForge 21.1.215, Cobblemon 1.7.1+1.21.1

Mods used besides Cobblemon

None.

Additional Information

This was only tested with the Fresh-Start Mochi, but probably also works with other EV-reducing items, like the Pomeg berry.