Fuzz on the Beach: Fuzzing Solana Smart Contracts