To recreate:

• /effect give @s minecraft:health_boost 1000000 255 true
• /attribute @s minecraft:generic.max_health modifier add 0-0-0-0-1 name -25 add
• /effect give @s minecraft:wither 1 1 true

Note: This should remove 25 health points but instead only removes 5. Health Boost amplifier 250 also gives the same amount of health as amplifier 255 (1024 health points), but works fine. It seems that the /attribute command takes the extra 5 (amplifier) * 4 (Health Boost hearts) health into account, even though the hearts aren't actually there. In summary, the /attribute command thinks that the player has 1044 health points when given Health Boost with an amplifier of 255.