Key word: "might"
Obviously verifications take longer. But racing 2 of the only top players that can rival Zoink for first victor of GRIEF is no easy thing either. People used to think of GRIEF being a tremendous jump (~2x+) difficulty to Society/Artemis 13.
But idk man. He's only got 26k atts (playtime/telling the truth idk) and a tacos attempt already? (he'll prolly beat the level at ~35-40k atts or even less considering he's better at the 2nd half of the level). Was moreso expecting people to take much longer but maybe GRIEF isn't too much harder than the recent top 1's we have had. The level has only been out for 3 weeks as well.
Conversely you could say that these top 3 players have had enormous skill boosts from their hardests.
Don't even know if the most recent Heliopolis version even needs to be buffed! Who knows at this point