Extraction requires double the free space.
Do not seek a "pre-compressed ISO." Instead, get the standard 4.37 GB ISO once, then use Dolphin to convert it to RVZ yourself. It is safer, faster in the long run, and yields a better result.