I think an 040/25 is something like twice the speed of an 030/50.
The BlizzardPPC is the only PPC card which can run OS4.
Forget about Elbox's SharkPPC - it's been 5 years since it was announced. First it was going to have WarpOS support from H&P then they said they were waiting for OS4 for AmigaOne to be released. As it stands, Hyperion don't have one, it's never been demonstrated, it doesn't have an OS4 licence, and probably never even existed in any form other than that relabelled Sonnet PCI card that was shown at Cologne back in 2001.