You should take a look at these numbers I found while examining videos of the shadow priest challenge when it was released in 7.2. I’m sorry I do not have links to actual videos. I just watched whatever I could find on YouTube. The conclusion is that Raest’s health was severely inflated in the Shadowlands release even though shadow priests are weaker at handling this encounter than they were in Legion.